A typed calculus of synchronous processes (1995)

by Simon Gay, Rajagopal Nagarajan
Venue:In Proceedings of IEEE Symposium on Logic in Computer Science