scientific article; zbMATH DE number 2077122

zbMath1044.68682MaRDI QIDQ4470506

Sanjiva Prasad, Roberto M. Amadio

Publication date: 1 July 2004

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

Abstractions for fault-tolerant global computing ⋮ Linear forwarders ⋮ A theory for observational fault tolerance ⋮ A semantics preserving actor translation ⋮ Unnamed Item ⋮ A theory of system behaviour in the presence of node and link failure ⋮ Types for the ambient calculus ⋮ An object based algebra for specifying a fault tolerant software architecture ⋮ Distributed processes and location failures ⋮ A behavioural theory of first-order CML ⋮ On modelling mobility ⋮ Types for access control ⋮ Actor languages. Their syntax, semantics, translation, and equivalence ⋮ Resource access control in systems of mobile agents ⋮ Extensionality of Spatial Observations in Distributed Systems

This page was built for publication: