<--- 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

Towards Illuminating a Censorship Monitor’s Model to Facilitate Evasion Sheharbano Khattak∗ ∗ Independent researcher  Philip D. Anderson∗ Vern Paxson†

Towards Illuminating a Censorship Monitor’s Model to Facilitate Evasion Sheharbano Khattak∗ ∗ Independent researcher Philip D. Anderson∗ Vern Paxson†

DocID: 1xVDw - View Document

CASE STUDY  PRTG Network Monitor helps PET-Xi keep a close eye on its network PET-Xi is one of the largest and most well-renowned education training

CASE STUDY PRTG Network Monitor helps PET-Xi keep a close eye on its network PET-Xi is one of the largest and most well-renowned education training

DocID: 1xUjN - View Document

Towards	
  illumina.ng	
  a	
  Censorship	
   Monitor’s	
  Model	
  to	
  Facilitate	
   Evasion	
   Sheharbano	
  Kha>ak*,	
  Mobin	
  Javed,	
  Philip	
  D.	
  Anderson*	
  and	
  	
   Vern	
  P

Towards  illumina.ng  a  Censorship   Monitor’s  Model  to  Facilitate   Evasion   Sheharbano  Kha>ak*,  Mobin  Javed,  Philip  D.  Anderson*  and     Vern  P

DocID: 1xTm1 - View Document

PDF Document

DocID: 1xPwF - View Document

DOC Document

DocID: 1xNmg - View Document