Abstract
The π-calculus, its asynchronous version and Boudol’s mapping from the former language to the latter one are well-known mathematical objects in theoretical computer science. It is also well-known that the mappingi s not fully-abstract w.r.t. most of the semantics defined over these two languages.
In this paper we study and fix conditions on the existance of fully-abstract results for Boudol’s mapping (and its variants). The testing theories à la De Nicola-Hennessy turned out to be very useful tools for such a purpose.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
M. Boreale, R. De Nicola: Testing Equivalence for Mobile Processes. Information and Computation, 120, pp. 279–303, 1995.
G. Boudol: Asynchrony and the π-calculus. Technical Report 1702, INRIA, Sophia Antipolis, 1992.
E. Brinksma, A. Rensink, W. Vogler: Fair Testing. In the Proc. of CONCUR’ 95, LNCS 962, pp. 313–327, 1995.
D. Cacciagrano, F. Corradini: On Synchronous and Asynchronous Communication Paradigms. Internal Report n. 17/2000, University of L’Aquila, 2000. Available from: http://w3.dm.univaq.it/~avio.
I. Castellani, M. Hennessy: Testing Theories for Asynchronous Languages. In the Proc. of FSTTCS’98, LNCS 1530, pp. 90–101, 1998.
R. De Nicola, M. Hennessy: Testing Equivalence for Processes. Theoretical Computers Science, 34, pp. 83–133, 1984.
K. Honda, M. Tokoro: An Object calculus for Asynchronous Communication. In the Proc. of ECOOP’91, LNCS, pp. 133–147, 1991.
M. Hennessy: An Algebraic Theory of Processes. MIT Press, Cambridge, 1988.
R. Milner, J. Parrow, D. Walker: A Calculus of Mobile Processes, Part I and II. Information and Computation, 100, pp. 1–78, 1992.
V. Natarajan, R. Cleveland: Divergence and Fair Testing. In the Proc. of ICALP’95, LNCS 944, pp. 648–659, 1995.
U. Nestmann: What is a ‘Good’ Encoding of Guarded Choice?. In the Proc. of EXPRESS’97, ENTCS 7, pp. 243–264, 1997.
C. Palamidessi: Comparing the Expressive Power of the Synchronous and Asynchronous π-calculus. In the Proc. of POPL’97, pp. 256–265, 1997.
P. Quaglia, D. Walker: On Synchronous and Asynchronous Mobile Processes. In the Proc. of FOSSACS 2000, LNCS 1784, pp. 283–296, 2000.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cacciagrano, D., Corradini, F. (2001). On Synchronous and Asynchronous Communication Paradigms. In: Theoretical Computer Science. ICTCS 2001. Lecture Notes in Computer Science, vol 2202. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45446-2_16
Download citation
DOI: https://doi.org/10.1007/3-540-45446-2_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42672-1
Online ISBN: 978-3-540-45446-5
eBook Packages: Springer Book Archive