<--- Back to Details
First PageDocument 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
Date: 2015-02-28 14:55:06
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

Source URL: homes.sice.indiana.edu

Download Document from Source Website

File Size: 357,48 KB

Share Document on Facebook

Similar Documents

Upper Room Mission Request for Proposals EVALUATION OF HOMELESSNESS STRATEGY FOR NORTH OKANAGAN Request for Proposal Issue Date

Upper Room Mission Request for Proposals EVALUATION OF HOMELESSNESS STRATEGY FOR NORTH OKANAGAN Request for Proposal Issue Date

DocID: 1v6r1 - View Document

Afghanistan visit on Training and Evaluation Strategy of SHGs operation

Afghanistan visit on Training and Evaluation Strategy of SHGs operation

DocID: 1v5Nj - View Document

International Journal of Advances in Science Engineering and Technology, ISSN: Volume- 2, Issue-4, OctA STRATEGY FOR RELIABILITY EVALUATION AND FAULT DIAGNOSIS OF AUTONOMOUS UNDERWATER GLIDING ROBOT

International Journal of Advances in Science Engineering and Technology, ISSN: Volume- 2, Issue-4, OctA STRATEGY FOR RELIABILITY EVALUATION AND FAULT DIAGNOSIS OF AUTONOMOUS UNDERWATER GLIDING ROBOT

DocID: 1urDX - View Document

Human-Robot Cross-Training: Computational Formulation, Modeling and Evaluation of a Human Team Training Strategy Stefanos Nikolaidis  Julie Shah

Human-Robot Cross-Training: Computational Formulation, Modeling and Evaluation of a Human Team Training Strategy Stefanos Nikolaidis Julie Shah

DocID: 1umuk - View Document

Human-Robot Cross-Training: Computational Formulation, Modeling and Evaluation of a Human Team Training Strategy Stefanos Nikolaidis  Julie Shah

Human-Robot Cross-Training: Computational Formulation, Modeling and Evaluation of a Human Team Training Strategy Stefanos Nikolaidis Julie Shah

DocID: 1uaR5 - View Document