Publication:4470506
From MaRDI portal
zbMath1044.68682MaRDI QIDQ4470506
Roberto M. Amadio, Sanjiva Prasad
Publication date: 1 July 2004
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
A theory of system behaviour in the presence of node and link failure, A behavioural theory of first-order CML, On modelling mobility, Types for access control, Actor languages. Their syntax, semantics, translation, and equivalence, An object based algebra for specifying a fault tolerant software architecture, Resource access control in systems of mobile agents, Abstractions for fault-tolerant global computing, Linear forwarders, Types for the ambient calculus, A theory for observational fault tolerance