scientific article; zbMATH DE number 1759630

zbMath0999.68151MaRDI QIDQ4536621

António Ravara, Vasco Thudichum Vasconcelos

Publication date: 2 December 2002

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

Mathematics Subject Classification ID

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

Related Items (6)

A generic type system for the pi-calculus ⋮ An algebra of behavioural types ⋮ Context-Free Session Type Inference ⋮ Name-passing in an ambient-like calculus and its proof using spatial logic ⋮ A type safe state abstraction for coordination in JAVA-like languages ⋮ On the Expressive Power of Polyadic Synchronisation in π-calculus

This page was built for publication: