scientific article; zbMATH DE number 2038704
From MaRDI portal
Publication:4449169
zbMath1039.68542MaRDI QIDQ4449169
Daniele Gorla, Rosario Pugliese
Publication date: 8 February 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2719/27190119.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Causal-consistent rollback in a tuple-based language ⋮ From flow logic to static type systems for coordination languages ⋮ On the expressive power of \textsc{Klaim}-based calculi ⋮ Dynamic management of capabilities in a network aware coordination language
Uses Software