Specifying Stateful Asynchronous Properties for Distributed Programs.

Tzu-Chun Chen, Kohei Honda

Browse the full CONCUR paper archive.