<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2015-02-28 14:55:06Theoretical 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 |
Add to Reading List |
Contract Monitoring Semantics as Patterns of Communication Cameron Swords Amr Sabry Sam Tobin-Hochstadt | D-Bus bindings for Tcl Inter-process communication with Tcl on Linux D-Bus introduction Available on all reasonably current versions of LinuxDocID: 1rWFF - View Document |
 | How real is the threat of instability events predicted by Adversarial Queueing Theory? Daniel S. Berger Martin KarstenDocID: 1rtNX - View Document |
 | Lecture 23: More on Pointto-Point Communication William Gropp www.cs.illinois.edu/~wgropp Cooperative Operations for CommunicationDocID: 1rqJb - View Document |
 | Duke University Data AccessionerDocID: 1rqEP - View Document |
 | EUROPEAN UNION PRIZE FOR CULTURAL HERITAGE / EUROPA NOSTRA AWARDS 2017 APPLICANT’S GUIDE Category Research CONDITIONS OF ENTRY Category ResearchDocID: 1rn2v - View Document |