Publication:4536621
From MaRDI portal
zbMath0999.68151MaRDI QIDQ4536621
António Ravara, Vasco Thudichum Vasconcelos
Publication date: 2 December 2002
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
An algebra of behavioural types, A type safe state abstraction for coordination in JAVA-like languages, A generic type system for the pi-calculus, Name-passing in an ambient-like calculus and its proof using spatial logic, On the Expressive Power of Polyadic Synchronisation in π-calculus, Context-Free Session Type Inference