Specifying Stateful Asynchronous Properties for Distributed Programs [chapter]

Tzu-Chun Chen, Kohei Honda
2012 Lecture Notes in Computer Science  
doi:10.1007/978-3-642-32940-1_16 fatcat:xjvnbnuhpjbqpbyra5qbis37yy