Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
(Extended Abstract)
This work has been supported by the ESPRIT/BRA CEDISYS project.
Preview
Unable to display preview. Download preview PDF.
References
G. Boudol and I. Castellani. On the semantics of concurrency: partial orders and transition systems. In Proceedings of TAPSOFT 87, number 249 in Lecture Notes in Computer Science, pages 123–137, 1987.
G. Boudol and I. Castellani. Permutation of transitions: an event structure semantics for CCS and SCCS. In Proceedings of Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, number 354 in Lecture Notes in Computer Science, pages 411–427, 1989.
J. Bergstra and J.W. Klop. Algebra of communicating processes with abstraction. Theoretical Computer Science, (37):77–121, 1985.
I. Castellani. Bisimulations for Concurrency. Ph.d. thesis, University of Edinburgh, 1988.
I. Castellani and M. Hennessy. Distributed bisimulations. JACM, 10(4):887–911, 1989.
P. Degano and P. Darondeau. Causal trees. In Proceedings of ICALP 88, number 372 in Lecture Notes in Computer Science, pages 234–248, 1989.
P. Degano, R. De Nicola, and U. Montanari. A distributed operational semantics for CCS based on condition/event systems. Acta Informatica, 26:59–91, 1988.
M. Hennessy. Axiomatising finite concurrent processes. SIAM Journal of Computing, 17(5):997–1017, 1988.
C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
A. Kiehn. Distributed bisimulations for finite CCS. Report 7/89, University of Sussex, 1989.
R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boudol, G., Castellani, I., Hennessy, M., Kiehn, A. (1991). Observing localities. In: Tarlecki, A. (eds) Mathematical Foundations of Computer Science 1991. MFCS 1991. Lecture Notes in Computer Science, vol 520. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54345-7_52
Download citation
DOI: https://doi.org/10.1007/3-540-54345-7_52
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54345-9
Online ISBN: 978-3-540-47579-8
eBook Packages: Springer Book Archive