This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Abramsky S. “Observation Equivalence as a Testing Equivalence”, JTCS 53, 1987.
Arnold A.; Dick A. “An Algebraic Characterization of Transition Systems Equivalences”, Information and Computation, Vol. 82, No. 2, August 1989, Academic Press.
Astesiano E.; Giovini A.; Reggio G. “Generalized Bisimulation in Relational Specifications”, STACS '88, LNCS 294, 1988.
Astesiano E.; Giovini A.; Reggio G. “Data in a Concurrent Environment”, Proc. of Concurrency '88, LNCS 335, 1988.
Astesiano E.; Giovini A.; Reggio G. Observational Structures and their Logic, Internal Report, University of Genova, May 1990. Submitted for publication.
Astesiano E.; Reggio G. “SMoLCS Driven Concurrent Calculi”, Proc. TAPSOFT`87, LNCS 249, 1987.
Astesiano E.; Wirsing M. “Bisimulation in Algebraic Specifications”, Proc. of the Colloquium on Resolution of Equations in Algebraic Structures, San Diego, Academic Press, 1989.
Castellani I. “Bisimulation and abstraction homomorphisms”, J. Comp. System Sci. 34, 1987.
Castellani I.; Hennessy M. “Distributed Bisimulations”, Journal of the ACM, October 1989, Vol. 36, n. 4, ACM, New York.
De Nicola R.; Hennessy M. “Testing Equivalence for Processes”, JTCS 34, 1984.
De Nicola R.; Vaandrager F. “Three logics for Branching Bisimulation”, to appear in Proc. of LICS `90.
Ferrari G. L.; Montanari U. “Towards the Unification of Models for Concurrency”, Proc. CAAP '90, LNCS ???, 1990.
Giovini A.; Reggio G. “Bisimulation Models in Algebraic Specifications”, Proc. of the Third Italian Conference on Theoretical Computer Science, World Scientific, 1989.
Goguen J.; Meseguer J. “Models and Equality for Logical Programming”, Proc. of TAPSOFT '87, Berlin, Springer Verlag 1987, LNCS 250, 1987.
Groote J. F.; Vaandrager F. “Structured Operational Semantics and Bisimulation as a Congruence” Proc. ICALP '89, LNCS 372, 1989.
van Glabbeek R. J.; Weijland W. P. “Branching Time and Abstraction in Bisimulation Semantics”, Information Processing '89, North Holland, 1989.
Hennessy M.; Milner R. “Algebraic Laws for Nondeterminism and Concurrency”, Journal of the ACM, Vol. 26, n. 1, ACM, New York, 1985.
Milner R. “Calculi for Synchrony and Asynchrony”, JTCS 25, 1983.
Milner R. Operational and Algebraic Semantics of Concurrent Processes, LFCS Report Series, Dept. of Computer Science, University of Edinburgh, ECS-LFCS-88–46, February 1988.
Park D. “Concurrency and Automata on Infinite Sequences”, Proc. 5th GI Conf., LNCS 104, 1981.
Thomsen B., “A Calculus of Higher-Order Communicating Systems”, Proc. POPL Conference, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag
About this paper
Cite this paper
Astesiano, E., Giovini, A., Reggio, G. (1990). Processes as data types: Observational semantics and logic. In: Guessarian, I. (eds) Semantics of Systems of Concurrent Processes. LITP 1990. Lecture Notes in Computer Science, vol 469. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53479-2_1
Download citation
DOI: https://doi.org/10.1007/3-540-53479-2_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53479-2
Online ISBN: 978-3-540-46897-4
eBook Packages: Springer Book Archive