A Typed Calculus of Synchronous Processes

Simon J. Gay, Rajagopal Nagarajan. A Typed Calculus of Synchronous Processes. In Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, 26-29 June 1995, San Diego, California, USA. pages 210-220, IEEE Computer Society, 1995.

Abstract

Abstract is missing.