"Type-Directed Concurrency" by Deepak Garg and Frank Pfenning

Skip to main content

Computer Science Department

Authors

Deepak Garg, Carnegie Mellon UniversityFollow
Frank Pfenning, Carnegie Mellon UniversityFollow

Title

Type-Directed Concurrency

Date of Original Version

8-2005

Type

Conference Proceeding

Published In

Lecture Notes in Computer Science Volume 3653, 2005

COinS