A Typed Calculus of Synchronous Processes (1995)

Download From

IEEE
Download from IEEE

Download Links

by Simon Gay , Rajagopal Nagarajan
Venue:In Proceedings of IEEE Symposium on Logic in Computer Science
Citations:56 - 4 self