Categorical Logic of Concurrency and Interaction I: Synchronous Processes.

Dusko Pavlovic Categorical Logic of Concurrency and Interaction I: Synchronous Processes. 105-141 1994 conf/imperial/1994 Theory and Formal Methods db/conf/imperial/imperial1994.html#Pavlovic94