Interaction Categories and the Foundations of Typed Concurrent Programming (1995)

Cached

Download Links

by Samson Abramsky , Simon Gay , Rajagopal Nagarajan
Venue:In Deductive Program Design: Proceedings of the 1994 Marktoberdorf Summer School, NATO ASI Series F
Citations:123 - 19 self