Abstract
We study may and must testing-based preorders in an asynchronous setting. In particular, we provide some full abstraction theorems that offer alternative characterizations of these preorders in terms of context closure w.r.t. basic observables and in terms of traces and acceptance sets. These characterizations throw light on the asymmetry between input and output actions in asynchronous interactions and on the difference between synchrony and asynchrony.
Work partially supported by EEC: HCM project EXPRESS, and by CNR: project “Specifica ad alto livello e verifica formale di sistemi digitali”. The third author has been supported by a scholarship from CNR — Comitato Scienza e Tecnologie dell'Informazione.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
G.Agha. Actors: a model of concurrent computation in Distributed Systems. Mit-Press, Boston, 1986.
R.M. Amadio, I. Castellani, D. Sangiorgi. On Bisimulations for the Asynchronous π-calculus. CONCUR'96, LNCS 1119, pp.147–162, Springer, 1996.
J. Bergstra, J.W. Klop. Process Algebra for Synchronous Communication. Information and Control, 60:109–137, 1984.
M. Boreale, R. De Nicola. Testing Equivalence for Mobile Systems. Information and Computation, 120: 279–303, 1995.
M. Boreale, R. De Nicola, R. Pugliese. Basic Observables for Processes. ICALP'97, LNCS 1256, pp.482–492, Springer, 1997.
G. Boudol. Asynchrony in the π-calculus (note). Rapport de Recherche 1702, IN-RIA Sophia-Antipolis, 1992.
S.D. Brookes, C.A.R. Hoare, A.W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31(3):560–599, 1984.
N. Busi, R. Gorrieri, G-L. Zavattaro. A process algebraic view of Linda coordination primitives. Technical Report UBLCS-97-05, University of Bologna, 1997.
F.S. de Boer, J.W. Klop, C. Palamidessi. Asynchronous Communication in Process Algebra. LICS'92, IEEE Computer Society Press, pp. 137–147, 1992.
R. De Nicola, M.C.B. Hennessy. Testing Equivalence for Processes. Theoretical Computers Science, 34:83–133, 1984.
R. De Nicola, R. Pugliese. A Process Algebra based on Linda. COORDINATION'96, LNCS 1061, pp.160–178, Springer, 1996.
M. Hansen, H. Huttel, J. Kleist. Bisimulations for Asynchronous Mobile Processes. In Proc. of the Tblisi Symposium on Language, Logic, and Computation, 1995.
M.C.B. Hennessy. Algebraic Theory of Processes. The MIT Press, 1988.
C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall Int., 1985.
K. Honda, M. Tokoro. An Object Calculus for Asynchronous Communication. ECOOP'91, LNCS 512, pp.133-147, Springer, 1991.
H. Jifeng, M.B. Josephs, C.A.R. Hoare. A Theory of Synchrony and Asynchrony. Proc. of the IFIP Working Conf. on Programming Concepts and Methods, pp.446–465, 1990.
N.A. Lynch, M.R. Tuttle. Hierarchical correctness proofs for distributed algorithms. In 6 th ACM Symposium on Principles of Distributed Computing, pp.137–151, 1987.
R. Milner. Communication and Concurrency. Prentice Hall International, 1989.
R. Milner. The Polyadic π-calculus: A Tutorial. Technical Report, University of Edinburgh, 1991.
R. Milner, J. Parrow, D. Walker. A calculus of mobile processes, (Part I and II). Information and Computation, 100:1–77, 1992.
R. Pugliese. A Process Calculus with Asynchronous Communications. 5th Italian Conference on Theoretical Computer Science, (A. De Santis, ed.), pp.295–310, World Scientific, 1996.
J. Tretmans. A formal approach to conformance testing. Ph.D. Thesis, University of Twente, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boreale, M., De Nicola, R., Pugliese, R. (1998). Asynchronous Observations of Processes. In: Nivat, M. (eds) Foundations of Software Science and Computation Structures. FoSSaCS 1998. Lecture Notes in Computer Science, vol 1378. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053544
Download citation
DOI: https://doi.org/10.1007/BFb0053544
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64300-5
Online ISBN: 978-3-540-69720-6
eBook Packages: Springer Book Archive