Skip to main content
Infoscience
English
French
Log In
Log in with EPFL account
Log in with local account
Infoscience
English
French
Log In
Log in with EPFL account
Log in with local account
Home
Academic and Research Output
Reports, Documentation, and Standards
Behavioral Types for Structured Asynchronous Programming
research report
Behavioral Types for Structured Asynchronous Programming
Larus, James R.
•
Rajamani, Sriram K.
•
Rehof, Jakob
2001
Details
Metrics