scientific article; zbMATH DE number 1760051
From MaRDI portal
Publication:4536990
zbMath0996.68850MaRDI QIDQ4536990
António Ravara, Vasco Thudichum Vasconcelos
Publication date: 25 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (3)
Strong types for coordinating active objects ⋮ Flow-sensitive type systems and the ambient calculus ⋮ Polymorphic lambda calculus with context-free session types
This page was built for publication:
