Login / Signup

Coordinating First-Order Multiparty Interactions.

Yuh-Jzer JoungScott A. Smolka
Published in: POPL (1991)
Keyphrases