On Synchronous and Asynchronous Mobile Processes

Authors:
Paola Quaglia;David Walker
Affiliations:
-;-
Venue:
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
Year:
2000

Citing 15
Cited 3

A calculus of mobile processes, II

Information and Computation
Linearity and the pi-calculus

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The reflexive CHAM and the join-calculus

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Behavioral equivalence in the polymorphic pi-calculus

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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
On the expressiveness of internal mobility in name-passing calculi

Theoretical Computer Science
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Communication and Concurrency

Communication and Concurrency
An Object Calculus for Asynchronous Communication

ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
The Name Discipline of Uniform Receptiveness (Extended Abstract)

ICALP '97 Proceedings of the 24th International Colloquium on Automata, Languages and Programming
On Asynchrony in Name-Passing Calculi

ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
Types for Dynamic Interaction

CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Decoding Choice Encodings

CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Graph Types for Monadic Mobile Processes

Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science
On Encoding p-pi in m-pi

Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science

On Synchronous and Asynchronous Communication Paradigms

ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Expressiveness of Process Algebras

Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a unified approach to encodability and separation results for process calculi

Information and Computation

Quantified Score

Hi-index	0.01

Visualization

Abstract

This paper studies the relationship between synchronous and asynchronous mobile processes, in the setting of the π-calculus. A type system for processes of the asynchronous monadic subcalculus is introduced and used to obtain a full-abstraction result: two processes of the polyadic π-calculus are typed barbed congruent iff their translations into the subcalculus are asynchronous-monadic-typed barbed congruent.