Concept
Message passing
Related publications (189)
Failure detectors as type boosters
The power of an object type T can be measured as the maximum number n of processes that can solve consensus using only objects of T and registers. This number, denoted cons(T), is called the consensus power of T. This paper addresses the question of the we ...
Springer-Verlag2008ProtoPeer: from Simulation to Live Deployment in One Step
Karl Aberer, Wojciech Galuba, Zoran Despotovic
We present ProtoPeer, a peer-to-peer systems prototyping toolkit that allows for switching between the event driven simulation and live network deployment without changing any of the application code. ProtoPeer exports a set of APIs for message passing, me ...
2008Equivalences and calculi for formal verification of cryptographic protocols
Security protocols are essential to the proper functioning of any distributed system running over an insecure network but often have flaws that can be exploited even without breaking the cryptography. Formal cryptography, the assumption that the cryptograp ...
EPFL2008On the Complexity of Asynchronous Gossip
Rachid Guerraoui, Seth Gilbert
In this paper, we study the complexity of gossip in an asynchronous, message-passing fault-prone distributed system. In short, we show that an adaptive adversary can significantly hamper the spreading of a rumor, while an oblivious adversary cannot. In the ...
2008Synchronous versus asynchronous modeling of gene regulatory networks
Giovanni De Micheli, Abhishek Garg, Ioannis Xenarios
In silico modeling of gene regulatory networks has gained some momentum recently due to increased interest in analyzing the dynamics of biological systems. This has been further facilitated by the increasing availability of experimental data on gene–gene, ...
2008Dynamic Testing of Flow Graph Based Parallel Applications
In message-passing parallel applications, messages are not delivered in a strict order. The number of messages, their content and their destination may depend on the ordering of their delivery. Nevertheless, for most applications, the computation results s ...
ACM2008