Loading...
research report
Behavioral Types for Structured Asynchronous Programming
Larus, James R.
•
Rajamani, Sriram K.
•
Rehof, Jakob
2001
Type
research report
Authors
Larus, James R.
•
Rajamani, Sriram K.
•
Rehof, Jakob
Publication date
2001
Peer reviewed
REVIEWED
EPFL units
Available on Infoscience
December 23, 2013
Use this identifier to reference this record