On synchronous and asynchronous mobile processes

DOI10.1007/3-540-46432-8_19MaRDI QIDQ4508309zbMATH OpenFDO

Authors Paola Quaglia, David Walker

Publication date 3 October 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46432-8_19

zbMATH Keywords

asynchronous monadic subcalculuspolyadic \(\pi\)-calculus

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2163006
• scientific article; zbMATH DE number 2102772
• Mobile processes: A commented bibliography
• Mobile objects as mobile processes
• Synchronization and replication model in mobile environment
• Variations on mobile processes
• Session-Based Communication Optimisation for Higher-Order Mobile Processes

Cited in

(19)

• Comparing communication primitives via their relative expressive power
• On the validity of encodings of the synchronous in the asynchronous -calculus
• Towards a unified approach to encodability and separation results for process calculi
• Types and full abstraction for polyadic -calculus
• Separation of synchronous and asynchronous communication via testing
• Mobile objects as mobile processes
• A symbolic procedure for control reachability in the asynchronous -calculus (extended abstract)
• Synchrony vs asynchrony in communication primitives
• Expressiveness of process algebras
• Synchronous and asynchronous experiments on processes
• On the Asynchronous Nature of the Asynchronous π-Calculus
• PRISMA: A Mobile Calculus with Parametric Synchronization
• scientific article; zbMATH DE number 2044505 (Why is no real title available?)
• Synchrony vs causality in the asynchronous -calculus
• A translation of beta-binders in a prioritized pi-calculus
• Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators
• Strong normalisation in the \(\pi\)-calculus
• Comparing the expressive power of the synchronous and asynchronous \(\pi\)-calculi
• Parametric synchronizations in mobile nominal calculi

Describes a project that uses

Uses Software

• Pict

This page was built for publication: On synchronous and asynchronous mobile processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4508309)