Abstract
We introduce a theory for generatively communicating concurrent processes. Generative communication is an asynchronous interprocess communication mechanism based on a shared data structure; information items can be introduced into, read or withdrawn from such a data structure by parallel processes. The most representative language based on such a paradigm is the coordination language Linda. Our idea is to embed generative communication in a process algebra like CCS. The advantage of having a process algebraic framework is that formal techniques developed in the process algebra area can be easily adapted to the field of generative communication. We investigate three standard observational equivalences (bisimulation, failure, and trace) and we observe that the failure semantics is the most appropriate to model the features of generative communication.
Chapter PDF
Similar content being viewed by others
References
Bergstra, J.A. and Klop, J.W. (1986) Process algebra: specification and verification in bisimulation semantics. CWI Monographs. North-Holland.
Berry, G. and Boudol, G. (1992) The chemical abstract machine. Theoretical Computer Science, 96: 217–248.
Brogi, A. and Ciancarini, P. (1991) The concurrent language Shared Prolog. ACM Transactions on Programming Languages and Systems, 13 (1): 99–123.
Boudol, G. (1992) Asynchrony and the calculus. Technical Report 1702, INRIA Sophia-Antipolis, France.
Brookes, S.D. (1983) On the relationship of CCS and CSP, in ICALP’83, volume 154 of LNCS, pages 83–96. Springer Verlag.
Carriero, N. and Gelernter, D. (1986) The S/Net’s Linda kernel. ACM Transactions on Computer Systems, pages 110–129.
Carriero, N., Gelernter, D. and Zuck,L. (1995) Bauhaus Linda, in Object-Based Models and Languages for Concurrent Systems, volume 924 of LNCS, pages 66–76. Springer Verlag.
Ciancarini, P., Gorrieri, R. and Zavattaro, G. (1995) Generative Communication in Process Algebra. Technical Report 95–16, University of Bologna, Italy.
Ciancarini, P., Jensen, K.K. and Yankelevich, D. (1995) On the Operational Semantics of a Coordination Language, in Object-Based Models and Languages for Concurrent Systems, volume 924 of LNCS, pages 77–106. Springer Verlag.
Cleaveland, R. and Yankelevich, D. (1994) An Operational Framework for Value-Passing Processes, in POPL
Boer, F.S., Klop, J.W. and Palamidessi, C. (1992) Asynchronous communication in process algebra, in LICS’92, pages 137–159. IEEE Computer Society Press.
De Boer, F.S., Kok, J.N., Palamidessi, C. and Rutten, J.J.M.M. (1991) The Failure of Failures in a Paradigm for Asynchronous Communication, in Concur’91, volume 527 of LNCS, pages 111–126. Springer Verlag.
De Boer, F.S. and Palamidessi, C. (1990) On the Asynchronous Nature of Communication in Concurrent Logic Languages: a Fully Abstract Model based on Sequences, in Concur’90, volume 458 of LNCS, pages 99–114. Springer Verlag.
De Nicola, R. and Hennessy, M.C.B. (1984) Testing Equivalences for Processes. Theoretical Computer Science, 34: 83–133.
De Nicola, R. and Pugliese, R. (1995) An Observational Semantics for Linda, in STRICT’95, series Workshop in Computing, pages 129–143. Springer Verlag.
Gelernter, D. (1985) Generative communication in Linda. ACM Transactions on Program-ming Languages and Systems, 7 (1): 80–112.
Gelernter, D. and Carriero, N. (1992) Coordination Languages and their Significance. Communications of the ACM, 35 (2): 97–107.
Hoare, C.A.R. (1978) Communicating Sequential Processes. Communications of the ACM, 21: 666–677.
Honda, K. and Tokoro,M. (1991) An Object Calculus for Asynchronous Communication, in ECOOP’91, volume 512 of LNCS, pages 133–147. Springer Verlag.
Milner, R. (1989) Communication and Concurrency. Prentice-Hall.
Milner, R., Parrow, J. and Walker, D. (1992) A Calculus of Mobile Processes. Information and Computation, 100 (1): 1–77.
Nielsen, M. and Thiagarajan, P.S. (1984) Degrees of non-determinism and concurrency: a Petri net view, in 5th Conference on Foundation of Software Technology and Thoeretical Computer Science, volume 181 of LNCS, pages 89–118. Springer Verlag.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Ciancarini, P., Gorrieri, R., Zavattaro, G. (1997). Towards a calculus for generative communication. In: Najm, E., Stefani, JB. (eds) Formal Methods for Open Object-based Distributed Systems. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35082-0_21
Download citation
DOI: https://doi.org/10.1007/978-0-387-35082-0_21
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2875-9
Online ISBN: 978-0-387-35082-0
eBook Packages: Springer Book Archive