Login / Signup

Specifying Stateful Asynchronous Properties for Distributed Programs.

Tzu-Chun ChenKohei Honda
Published in: CONCUR (2012)
Keyphrases