Separation of synchronous and asynchronous communication via testing

Theoretical Computer Science

Volumn 386, Issue 3, 2007, Pages 218-235

  Cacciagrano, D ^a   Corradini, F ^a   Palamidessi, C ^b  

^a UNIVERSITY OF CAMERINO   (Italy)

^b INRIA   (France)

Author keywords

Asynchronous calculus; Encoding; Synchronous communication; Testing semantics

Indexed keywords

COMPUTER SCIENCE; CONCURRENT ENGINEERING; SEMANTICS;

ASYNCHRONOUS COMMUNICATION; HONDA (CO); SYNCHRONOUS COMMUNICATION; TESTING SEMANTICS;

ENCODING (SYMBOLS);

EID: 34848890257     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2007.07.009     Document Type: Article

References (20)

1. Boreale M., and De Nicola R. Testing equivalence for mobile processes. Information and Computation 120 (1995) 279-303
2. Boreale M., De Nicola R., and Pugliese R. Basic observables for processes. Information and Computation 149 (1999) 77-98
3. G. Boudol, Asynchrony and the π-calculus, Technical Report 1702, INRIA, Sophia-Antipolis, 1992
4. Brinksma E., Rensink A., and Vogler W. Fair testing. Proc. of CONCUR'95. LNCS vol. 962 (1995) 313-327
5. Cacciagrano D., and Corradini F. On synchronous and asynchronous communication paradigms. Proc. of ICTCS '01. LNCS vol. 2202 (2001) 256-268
6. Cacciagrano D., Corradini F., and Palamidessi C. Separation of synchronous and asynchronous communication via testing. Proc. of EXPRESS'05. ENTCS vol. 154(3) (2006) 95-108
7. Cacciagrano D., Corradini F., and Palamidessi C. Fair Pi. In: Amadio R., and Phillips I. (Eds). Proc. of 13th International Workshop on Expressiveness in Concurrency (EXPRESS'06). ENTCS vol. 175(3) (2007), Elsevier
8. Castellani I., and Hennessy M. Testing theories for asynchronous languages. Proc. of FSTTCS '98. LNCS vol. 1530 (1998) 90-101
9. De Nicola R., Gorla D., and Pugliese R. On the expressive power of KLAIM-based calculi. Theoretical Computer Science 356 3 (2004) 387-421
10. De Nicola R., and Hennessy M. Testing equivalence for processes. Theoretical Computer Science 34 (1984) 83-133
11. Hennessy M. An Algebraic Theory of Processes (1988), MIT Press, Cambridge
12. H. Honda, Two Bisimilarities in ν-calculus, Keio CS report 92-002, Department of Computer Science, Keio University, 1992
13. Honda K., and Tokoro M. An object calculus for asynchronous communication. Proc. of ECOOP '91. LNCS vol. 512 (1991) 133-147
14. H. Honda, N. Yoshida, Personal communication, 2005
15. Milner R., Parrow J., and Walker D. A calculus of mobile processes, part I and II. Information and Computation 100 (1992) 1-78
16. Merro M., and Sangiorgi D. On asynchrony in name-passing calculi. Proc. of ICALP '98. LNCS vol. 1443 (1998)
17. Natarajan V., and Cleaveland R. Divergence and fair testing. Proc. of ICALP '95. LNCS vol. 944 (1995) 648-659
18. Nestmann U. What is a 'good' encoding of guarded choice?. Information and Computation 156 (2000) 287-319
19. Palamidessi C. Comparing the expressive power of the synchronous and asynchronous π-calculus. Mathematical Structures in Computer Science 13 5 (2003) 685-719
20. Quaglia P., and Walker D. On synchronous and asynchronous mobile processes. Proc. of FOSSACS 2000. LNCS vol. 1784 (2000) 283-296