scientific article; zbMATH DE number 1927568

zbMath1012.68519MaRDI QIDQ4484493

Vladimiro Sassone, Jens Chr. Godskesen, Thomas Troels Hildebrandt

Publication date: 12 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2421/24210272.htm

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

Space-aware ambients and processes ⋮ More on bisimulations for higher order \(\pi\)-calculus ⋮ A CPS encoding of name-passing in higher-order mobile embedded resources ⋮ Locating reaction with 2-categories ⋮ Modelling dynamic web data ⋮ The seal calculus ⋮ Types for Access Control in a Calculus of Mobile Resources ⋮ Active Evaluation Contexts for Reaction Semantics