Abstract
We propose an operational interpretation of behaviour of concurrent processes in which concurrency is not interpreted as interleaving of elementary actions. We consider only finite processes and describe them in a reduced version of Milner's CCS. Processes are agents having a number of communication capabilities enabling them to communicate. Communications are made via complementary capabilities when these are ready. We build computation traces wich reflect the dependence and independence relations between events. Traces allow us to define equivalent computations and thereby equivalent processes. We define the "capability structure" of processes and show that two processes are equivalent if and only if they have the same capability structure.
Preview
Unable to display preview. Download preview PDF.
Bibliography
— G. Berry, J.J. Levy. "Minimal and Optimal Computations of Recursive Programs". J.ACM 26, 1, (Jan 1979), 148–175.
-Ph. DARONDEAU. "Processus non Séquentiels et leurs Observations en Univers non Centralisé". International Symposium on Programming. Paris, April 1980, Lecture Notes in Computer Science 83.
-M. HENNESSY, R. MILNER. "On Observating non Determinism and Concurrency". 8-th ICALP Amsterdam. Lecture Notes in Computer Science. — 85.
-J. J. LEVY. "Réductions Correctes et Optimales dans le Lambda-Calcul". Thèse de Doctorat d'Etat. Université Paris-7. 1978.
-A. MAZURKIEWICZ. "Equational Semantics of Concurrent Systems". Ecole de Printemps d'Informatique. Réseaux de Petri et Parallélisme. Colleville-sur-Mer. Mai 1980.
-L. F. MEJIA. Thèse de 3ème cycle (To appear).
-R. MILNER. "A Calculus of Communicating Systems". Lecture Notes in Computer Science 92.
-M. NIELSEN, G. PLOTKIN, G. WINSKEL. "Petri Nets, Event Structures and Domains". Semantics of Concurrent Computation, Evian 1979, Lecture Notes in Computer Science 70.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1981 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mejia, L. (1981). A proposal for operational semantics and equivalence of finite asynchronous processes. In: Díaz, J., Ramos, I. (eds) Formalization of Programming Concepts. ICFPC 1981. Lecture Notes in Computer Science, vol 107. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10699-5_113
Download citation
DOI: https://doi.org/10.1007/3-540-10699-5_113
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10699-9
Online ISBN: 978-3-540-38654-4
eBook Packages: Springer Book Archive