Separation of synchronous and asynchronous communication via testing
- 1 November 2007
- journal article
- Published by Elsevier BV in Theoretical Computer Science
- Vol. 386 (3), 218-235
- https://doi.org/10.1016/j.tcs.2007.07.009
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- On the expressive power of KLAIM-based calculiTheoretical Computer Science, 2006
- Comparing the expressive power of the synchronous and asynchronous $pi$ -calculiMathematical Structures in Computer Science, 2003
- What is a “Good” Encoding of Guarded Choice?Information and Computation, 2000
- Basic Observables for ProcessesInformation and Computation, 1999
- Testing Equivalence for Mobile ProcessesInformation and Computation, 1995
- A calculus of mobile processes, IInformation and Computation, 1992
- Testing equivalences for processesTheoretical Computer Science, 1984