Abstract
In this tutorial we discuss various behavioural theories of processes. The central theme is that processes should be semantically equivalent unless there is some observation or test which distinguishes them. By choosing different notions of observations a range of behavioural theories is obtained. They include bisimulation equivalence, testing equivalence and a number of equivalences which distinguish concurrency from nondeterminism.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Abramsky, S., Observational Equivalence as a Testing Equivalence, TCS, 53, pp. 225–241, 1987
Austry, D. and Boudol G., Algèbre de processus et synchronisation, TCS, 30, pp.91–131, 1984
Aceto, L. and Hennessy M., Towards Action-Refinement in Process Algebras, University of Sussex Technical Report, 1988
Bergstra, J. and Klop, J., Process Algebra for Synchronous Communication, Information and Control, 60
Castellani, I., Distributed Bisimulations, Ph.D.Thesis, University of Edinburgh, 1987
Hennessy, M. and Castellani, I., Distributed Bisimulations, University of Sussex Technical Report, 1987
DeNicola, R. and Hennesy, M., Testing Equivalences for Process, TCS, 34, pp.83–133,1983
van Glabbeek, R. and Vaandrager, F., Petri Net Models for Algebraic Theories of Concurrency, University of Aarhus, 1988
Hennessy, M., Synchronous and Asynchronous Experiments on Processes, Information and Control, 59, pp.36–83, 1983
Hennessy, M., An Algebraic Theory of Processes, MIT Press, 1988
Hennessy, M., Axiomatising Finite Concurrent Processes, SIAM Journal of Computing, October 1988
Hoare, C., Communicating Sequential Processes, Prentice-Hall, 1985
Main, M., Trace, Failure and Testing Equivalences for Communicating Processes, IJPP, vol.16, No.5, pp 383–401
Milner, R., A Calculus of Communicating Systems, LNCS,94,1980
Milner, R., Synchrony and Asynchrony, TCS,25, pp.267–310,1983
Milner, R., Operational and Algebraic Semantics of Concurrent Processes, Technical Report ECS-LFCS-88-46, University of Edinburgh
Nielson, M. Engberg, U. and Larsen, K.S., Partial Order Semantics for Concurrency, University of Aarhus, 1988
Philipps, I., Refusal Testing, TCS,50, 1985
Plotkin, G., A Structural Approach to Operational Semantics, Lecture Notes, University of Aarhus, 1981
Walker, D., Bisimulation and Divergence, Proceedings of LICS 88 conference, pp.186–192. Also Technical Report ECS-LFCS-87-29, University of Edinburgh
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hennessy, M. (1989). Observing processes. In: de Bakker, J.W., de Roever, W.P., Rozenberg, G. (eds) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. REX 1988. Lecture Notes in Computer Science, vol 354. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013023
Download citation
DOI: https://doi.org/10.1007/BFb0013023
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51080-2
Online ISBN: 978-3-540-46147-0
eBook Packages: Springer Book Archive