Abstract
We present a process algebra with an explicit notion of location, and give an operational semantics for it that distinguishes between processes with different distributions. We then introduce a denotational semantics parameterised by a topology over the set of locations; this topology allows observers to regard some locations as indistinguishable. We show that the denotational semantics is fully abstract if the topology satisfies the separation axiom T1, and that it coincides with the usual interleaving operational semantics if it is indiscrete, thus giving a criteria for when a given notion of 'indistinguishable location' corresponds to completely distributed or interleaved settings.
The algebra we consider is then extended to allow communication between different locations. A natural communication operator gives rise to a form of expansion theorem which allows us to extend full abstraction to this setting.
Support from the Royal Society (via an ESEP fellowship at the GMD, Bonn) and the Australian Research Council is gratefully acknowledged.
Preview
Unable to display preview. Download preview PDF.
Bibliography
L. Aceto, A static theory of localities, Technical Report Number 1483, Inria, 1991.
L. Aceto, Relating distributed, temporal and causal observations of simple processes, manuscript, HP Science Center Pisa, submitted for publication, 1992.
A. Arkhangel'skii and V. Ponomarev, Fundamentals of general topology, D. Reidel, 1984.
J. Baeten and W. Weijland, Process algebra, Cambridge Tracts in Theoretical Computer Science, Volume 18, Cambridge University Press, 1990.
G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn, A theory of processes with locality, Technical Report 13/91, Department of Computer Science, University of Sussex, 1991.
I. Castellani and M. Hennessy, Distributed bisimulations, Journal of the ACM, Volume 10 (1989), Pp. 887–911.
A. Kiehn, Local and global causes, Technical Report 342/23/91 A, Institut für Informatik, Technische Universität München, 1991.
R. Milner, Communication and concurrency, International series on computer science, Prentice Hall International, 1989.
U. Montanari and D. Yankelevich, A Parametric Approach to Localities, in the Proceedings of ICALP '92, (W. Kuich, Ed.), Springer-Verlag LNCS, Volume 623.
D. Murphy, The physics of observation; a perspective for concurrency theorists, Bulletin of the EATCS, Volume 44 (1991), Pp. 192–200.
-, Intervals and actions in a timed process algebra, Arbeitspapiere der GMD 680, Gesellschaft für Mathematik und Dataverarbeitung, St. Augustin, 1992. Presented at MFPS '92 and submitted to Theoretical Computer Science.
D. Park, Concurrency and automata on infinite sequences, in Proceedings of Theoretical Computer Science 1981, Volume 104, Springer-Verlag LNCS, 1981.
G. Winskel, Synchronization trees, Theoretical Computer Science, Volume 34 (1985), Pp. 34–84.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Murphy, D. (1993). Observing located concurrency. In: Borzyszkowski, A.M., Sokołowski, S. (eds) Mathematical Foundations of Computer Science 1993. MFCS 1993. Lecture Notes in Computer Science, vol 711. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57182-5_48
Download citation
DOI: https://doi.org/10.1007/3-540-57182-5_48
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57182-7
Online ISBN: 978-3-540-47927-7
eBook Packages: Springer Book Archive