scientific article; zbMATH DE number 2077122
From MaRDI portal
Publication:4470506
zbMath1044.68682MaRDI QIDQ4470506
Sanjiva Prasad, Roberto M. Amadio
Publication date: 1 July 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
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