Taming Distributed Asynchronous Systems [chapter]

Anca Muscholl
2010 Lecture Notes in Computer Science  
This extended abstract surveys some analysis techniques for distributed, asynchronous systems with two kinds of synchronization, shared variables and fifo channels.
doi:10.1007/978-3-642-15375-4_4 fatcat:mohljlfywrhojojlp5spqpmyse