Browsing by Subject "distributed systems"
Now showing items 1-3 of 3
-
Bisimulation Congruences in Safe Ambients (extended abstract).
(2002)We develop a semantics theory for SAP, a variant of Levi and Sangiorgi?s Safe Ambients, SA. The dynamics of SA relies upon capabilities (and co-capabilities) exercised by mobile agents, called ambients, to interact with ... -
Liveness of Communicating Transactions (Extended Abstract)
(2010)We study liveness and safety in the context of CCS extended with communicating transactions, a construct we recently proposed to model automatic error recovery in distributed systems. We show that fair-testing and ... -
Subtyping and Locality in Distributed Higher Order Mobile Processes (extended abstract).
(Springer-Verlag, 1999)This paper studies one important aspect of distributed systems, locality, using a calculus of distributed higher-order processes in which not only basic values or channels, but also parameterised processes are transferred ...