Behavioural theory at work: program transformations in a service-centred calculus

TitleBehavioural theory at work: program transformations in a service-centred calculus
Publication TypeBook Chapter
Year of Publication2008
AuthorsCruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos
Book TitleFormal Methods for Open Object-Based Distributed Systems
Pagination59–77
PublisherSpringer Berlin Heidelberg