Login / Signup

Correspondence assertions for process synchronization in concurrent communications.

Eduardo BonelliAdriana B. CompagnoniElsa L. Gunter
Published in: J. Funct. Program. (2005)
Keyphrases