Reasoning about concurrent systems using types (1999)

by Davide Sangiorgi
Venue:In Foundations of Software Science and Computation Structure: Proceedings of FoSSaCS ’99, Lecture Notes in Computer Science 1578