Login / Signup

Expressing contract monitors as patterns of communication.

Cameron SwordsAmr SabrySam Tobin-Hochstadt
Published in: ICFP (2015)
Keyphrases