Behavioral Types for Structured Asynchronous Programming
2001
Details
Title
Behavioral Types for Structured Asynchronous Programming
Author(s)
Larus, James R. ; Rajamani, Sriram K. ; Rehof, Jakob
Date
2001
Publisher
Microsoft Research
Laboratories
UPLARUS
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > UPLARUS - Prof. Larus Group
Peer-reviewed publications
Work outside EPFL
Technical Reports
Published
Peer-reviewed publications
Work outside EPFL
Technical Reports
Published
Record creation date
2013-12-23