Algebraic theory of processes
A calculus of mobile processes, I
Information and Computation
Testing equivalence for mobile processes
Information and Computation
Comparing the expressive power of the synchronous and the asynchronous &pgr;-calculus
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An Object Calculus for Asynchronous Communication
ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
ICALP '95 Proceedings of the 22nd International Colloquium on Automata, Languages and Programming
CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
On Synchronous and Asynchronous Mobile Processes
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Testing Theories for Asynchronous Languages
Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science
On the expressive power of KLAIM-based calculi
Theoretical Computer Science - Expressiveness in concurrency
Synchrony vs Asynchrony in Communication Primitives
Electronic Notes in Theoretical Computer Science (ENTCS)
Separation of synchronous and asynchronous communication via testing
Theoretical Computer Science
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Comparing communication primitives via their relative expressive power
Information and Computation
| Hi-index | 0.00 |
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 fullyabstract results for Boudol's mapping(a nd its variants). The testing theories 脿 la De Nicola-Hennessy turned out to be very useful tools for such a purpose.