scientific article; zbMATH DE number 1512624

zbMath0961.68092MaRDI QIDQ4508309

No author found.

Publication date: 3 October 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

polyadic \(\pi\)-calculusasynchronous monadic subcalculus

Mathematics Subject Classification ID

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

Related Items (9)

On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus ⋮ Types and full abstraction for polyadic \(\pi\)-calculus ⋮ Strong normalisation in the \(\pi\)-calculus ⋮ Towards a unified approach to encodability and separation results for process calculi ⋮ Separation of synchronous and asynchronous communication via testing ⋮ A Translation of Beta-binders in a Prioritized Pi-calculus ⋮ Comparing communication primitives via their relative expressive power ⋮ Synchrony vs Asynchrony in Communication Primitives ⋮ Expressiveness of Process Algebras

Uses Software

• Pict

This page was built for publication: