research report
Behavioral Types for Structured Asynchronous Programming
Larus, James R.
•
Rajamani, Sriram K.
•
Rehof, Jakob
2001
Type
research report
Author(s)
Larus, James R.
Rajamani, Sriram K.
Rehof, Jakob
Date Issued
2001
Publisher
Microsoft Research
Editorial or Peer reviewed
REVIEWED
Written at
OTHER
EPFL units
Available on Infoscience
December 23, 2013
Use this identifier to reference this record