scientific article; zbMATH DE number 1512630

zbMath0961.68094MaRDI QIDQ4508315

Pascal Zimmer

Publication date: 3 October 2000

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

zbMATH Keywords

type-checking algorithmambient calculus

Mathematics Subject Classification ID

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

Related Items

A typed encoding of boxed into safe ambients ⋮ Types for the ambient calculus ⋮ Flow-sensitive type systems and the ambient calculus ⋮ A Type Inference Algorithm for Secure Ambients ⋮ Typing evolving ambients ⋮ Orderly communication in the ambient calculus.