On synchronous and asynchronous communication paradigms

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2202, Issue , 2001, Pages 256-268

  Cacciagrano, Diletta ^a   Corradini, Flavio ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; SEMANTICS;

ASYNCHRONOUS VERSION; MATHEMATICAL OBJECTS; PI CALCULUS; SYNCHRONOUS AND ASYNCHRONOUS COMMUNICATIONS; TESTING THEORIES; THEORETICAL COMPUTER SCIENCE;

MAPPING;

EID: 33745854391     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45446-2_16     Document Type: Conference Paper

References (13)

1. M. Boreale, R. De Nicola: Testing Equivalence for Mobile Processes. Information and Computation, 120, pp. 279-303, 1995.
2. G. Boudol: Asynchrony and the π-calculus. Technical Report 1702, INRIA, Sophia Antipolis, 1992.
3. E. Brinksma, A. Rensink, W. Vogler: Fair Testing. In the Proc. of CONCUR’ 95, LNCS 962, pp. 313-327, 1995.
4. 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/~flavio.
5. I. Castellani, M. Hennessy: Testing Theories for Asynchronous Languages. In the Proc. of FSTTCS’98, LNCS 1530, pp. 90-101, 1998.
6. R. De Nicola, M. Hennessy: Testing Equivalence for Processes. Theoretical Computers Science, 34, pp. 83-133, 1984.
7. K. Honda, M. Tokoro: An Object calculus for Asynchronous Communication. In the Proc. of ECOOP’91, LNCS, pp. 133-147, 1991.
8. M. Hennessy: An Algebraic Theory of Processes. MIT Press, Cambridge, 1988.
9. R. Milner, J. Parrow, D. Walker: A Calculus of Mobile Processes, Part I and II. Information and Computation, 100, pp. 1-78, 1992.
10. V. Natarajan, R. Cleveland: Divergence and Fair Testing. In the Proc. of ICALP’95, LNCS 944, pp. 648-659, 1995.
11. U. Nestmann: What is a ‘Good’ Encoding of Guarded Choice?. In the Proc. of EXPRESS’97, ENTCS 7, pp. 243-264, 1997.
12. C. Palamidessi: Comparing the Expressive Power of the Synchronous and Asynchronous π-calculus. In the Proc. of POPL’97, pp. 256-265, 1997.
13. P. Quaglia, D. Walker: On Synchronous and Asynchronous Mobile Processes. In the Proc. of FOSSACS 2000, LNCS 1784, pp. 283-296, 2000.