A Typed Calculus of Synchronous Processes

Simon J. Gay, Rajagopal Nagarajan

Browse the full LICS paper archive.