Uwe Nestmann, Rachele Fuzzati, and Massimo Merro. Modeling consensus in a process calculus. In Roberto Amadio and Denis Lugiez, editors, Proceedings of CONCUR 2003, volume 2761 of LNCS. Springer, August 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
An Algebraic Approach to Fault Tolerant Distributed Computing - Fuzzati (2004) Self-citation (Fuzzati) (Correct)
No context found.
U. Nestmann, R. Fuzzati and M. Merro. Modeling Consensus in a Process Calculus. Proceedings of CONCUR 2003, LNCS 2761, 2003.
Unreliable Failure Detectors - Via Operational Semantics Self-citation (Nestmann Fuzzati) (Correct)
No context found.
U. Nestmann, R. Fuzzati and M. Merro. Modeling Consensus in a Process Calculus. In R. Amadio and D. Lugiez, eds, Proceedings of CONCUR 2003, volume 2761 of LNCS, pages 399--414. Springer, Aug. 2003.
Process Calculi for the Foundations of - Peer-To-Peer Systems Johannes (Correct)
No context found.
Uwe Nestmann, Rachele Fuzzati, and Massimo Merro. Modeling consensus in a process calculus. In Roberto Amadio and Denis Lugiez, editors, Proceedings of CONCUR 2003, volume 2761 of LNCS. Springer, August 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC