Back to Results
First PageMeta Content
Theoretical computer science / Lambda calculus / Inter-process communication / Software engineering / Mathematical logic / Combinatory logic / Logic in computer science / Futures and promises / Evaluation strategy / Evaluation / Monitor / Futures contract


Contract Monitoring Semantics as Patterns of Communication Cameron Swords Amr Sabry Sam Tobin-Hochstadt
Add to Reading List

Document Date: 2015-02-28 14:55:06


Open Document

File Size: 357,48 KB

Share Result on Facebook