This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
L., Aceto. A static view of localities. Formal Aspects of Computing, 6(2): 201–222, 1994.
R. Amadio. Translating Core Facile. Technical Report ECRC-94-3, ECRC, Munich, 1994.
R.M. Amadio and S. Prasad. Localities and Failures. Technical report ECRC-94-18, ECRC, 1994.
G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn. Observing Localities. In SLNCS 520: Proceedings of MFCS 91. Springer-Verlag, 1991. Also appeared as TR 4-91, Univ. of Sussex, to appear in TCS.
G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn, A theory of processes with localities. Formal Aspects of Computing, 6(2): 165–200, 1994. Preliminary version in SLNCS 630: Proceedings of CONCUR 92.
I. Castellani. Observing distribution in processes. In SLNCS 711: Proceedings of MFCS 93. Springer-Verlag, 1993.
F. Corradini and R. De Nicola. Distribution and locality of concurrent systems. In Proceedings of CALP'94, SLNCS. Springer-Verlag, 1994.
P. Degano and C. Priami. Proved trees. In Proceedings of ICALP'92, SLNCS 623, pages 629–640. Springer-Verlag, 1992.
A. Giacalone, P. Mishra, and S. Prasad. Facile: A symmetric integration of concurrent and functional programming. International Journal of Parallel Programming, 18(2): 121–160,1989.
C. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
A. Kiehn. Local and global causes. Technical report, Technische Universität München, TR 342/23/91,1991.
L. Lamport and N. Lynch. Distributed computing: models and methods. In van Leeuwen, editor, Handbook of TCS. North-Holland, 1990. Chapter 18.
R. Milner. Communication and Concurrency. Prentice Hall, 1989.
R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Process, Parts 1–2. Information and Computation, 100(1): 1–77, 1992.
R. Milner and D. Sangiorgi. Barbed bisimulation. In SLNCS 623: Proceedings of ICALP 92. Springer-Verlag, 1992.
U, Montanari and D. Yankelevich. A parametric view of localities. In SLNCS 623: Proceedings of ICALP 92. Springer-Verlag, 1992.
M. Mukund and M. Nielsen. CCS, locations and asynchronous transition systems. In SLNCS 652: Proceedings of FST-TCS 92. Springer-Verlag, 1992.
D. Murphy. Observing located concurrency. In SLNCS 711: Proceedings of MFCS 93. Springer-Verlag, 1993.
D. Sangiorgi. Locality and non-interleaving semantics in calculi for mobile processes. In SLNCS 789: Proceedings of TACS 94. Springer-Verlag, 1994.
B. Thomsen, L. Leth, and A. Giacalone. Some issues in the semantics of facile distributed programming. In SLNCS 666: Proceedings of REX School. Springer-Verlag, 1992. Also appeared as Technical Report ECRC-92-32.
B. Thomsen, L. Leth, S. Prasad, T.M. Kuo, A. Kramer, F. Knabe, and A. Giacalone. Facile antigua release programming guide. Technical Report ECRC-93-20, ECRC, Munich, December 1993.
Author information
Authors and Affiliations
Corresponding authors
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Amadio, R.M., Prasad, S. (1994). Localities and failures (extended summary). In: Thiagarajan, P.S. (eds) Foundation of Software Technology and Theoretical Computer Science. FSTTCS 1994. Lecture Notes in Computer Science, vol 880. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58715-2_126
Download citation
DOI: https://doi.org/10.1007/3-540-58715-2_126
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58715-6
Online ISBN: 978-3-540-49054-8
eBook Packages: Springer Book Archive