scientific article; zbMATH DE number 2163048

zbMath1088.68653MaRDI QIDQ4673435

Henning Makholm, J. B. Wells, Torben Amtoft

Publication date: 29 April 2005

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 (4)

Hybrid logical analyses of the ambient calculus ⋮ A typed encoding of boxed into safe ambients ⋮ Name-passing in an ambient-like calculus and its proof using spatial logic ⋮ Flow-sensitive type systems and the ambient calculus

This page was built for publication: