scientific article

zbMath0985.68039MaRDI QIDQ2748155

Flemming Nielson, Hanne Riis Nielson

Publication date: 14 October 2001

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

zbMATH Keywords

ambient calculus

Mathematics Subject Classification ID

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

Related Items

A monotone framework for CCS ⋮ Flow-sensitive type systems and the ambient calculus ⋮ Dynamic management of capabilities in a network aware coordination language