Abstractions for Fault-Tolerant Global Computing: Extended Abstract
Open Access
- 28 September 2002
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 66 (3) , 116-144
- https://doi.org/10.1016/s1571-0661(04)80419-5
Abstract
No abstract availableKeywords
This publication has 28 references indexed in Scilit:
- KLAIM: a kernel language for agents interaction and mobilityIEEE Transactions on Software Engineering, 1998
- On bisimulations for the asynchronous π-calculusTheoretical Computer Science, 1998
- Partial order and contextual net semantics for atomic and locally atomic CC programsScience of Computer Programming, 1998
- Proving concurrent constraint programs correctACM Transactions on Programming Languages and Systems, 1997
- Network objectsACM SIGOPS Operating Systems Review, 1993
- Causal controversy at Le Mont St.-MichelACM SIGOPS Operating Systems Review, 1993
- Distributed programming in ArgusCommunications of the ACM, 1988
- SagasACM SIGMOD Record, 1987
- Generative communication in LindaACM Transactions on Programming Languages and Systems, 1985
- Optimism and consistency in partitioned distributed database systemsACM Transactions on Database Systems, 1984