Abstract
This paper describes an algebraic structure which allows to define an abstract framework for communication in distributed systems. Using this structure we introduce an equivalence relation; the quotient induced by this equivalence relation preserves the initial algebraic structure. Our results represent a starting point in abstract investigation of the communication between processes, complementing the achievements of the process algebras.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
K. Honda. Notes on P-Algebra(1); Process Structure. Proceedings TPPP’94, LNCS 907, pp.25–44, Springer Verlag, 1995.
K. Honda. Composing Processes, Proceedings POPL’96, Principles of Programming Languages, pp.344–357, ACM Press, 1996.
A. Kurosh. Cours d’algèbre supérieure Ed. MIR, Moscou, 1980.
Y. Lafont. Interaction Nets, Proceedings POPL’90, Principles of Programming Languages, pp.95–108, ACM Press, 1990.
R. Milner. Action Structures and the πealculus, In Proof and Computation, ed. H. Schwichtenberg, series F, pp.219–280, Springer Verlag, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ciobanu, G., Olariu, E.F. (2000). Abstract Structures for Communication between Processes. In: Bjøner, D., Broy, M., Zamulin, A.V. (eds) Perspectives of System Informatics. PSI 1999. Lecture Notes in Computer Science, vol 1755. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46562-6_19
Download citation
DOI: https://doi.org/10.1007/3-540-46562-6_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67102-2
Online ISBN: 978-3-540-46562-1
eBook Packages: Springer Book Archive