<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>5924</REFNUM><AUTHORS><AUTHOR>Gay,S.J.</AUTHOR><AUTHOR>Nagarajan,R.</AUTHOR></AUTHORS><YEAR>1995</YEAR><TITLE>A Typed Calculus of Synchronous Processes</TITLE><PLACE_PUBLISHED>Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science DOI: 10.1109/LICS.1995.523258</PLACE_PUBLISHED><PUBLISHER>IEEE Computer Society Press</PUBLISHER><LABEL>Gay:1995:5924</LABEL><KEYWORDS><KEYWORD>interaction categories</KEYWORD></KEYWORDS<ABSTRACT>We propose a typed calculus of synchronous processes based on the structure of interaction categories. Our aim has been to develop a calculus for concurrency that is canonical in the sense that the typed lambda calculus is canonical for functional computation. We show strong connections between syntax, logic and semantics, analogous to the familiar correspondence between the typed lambda calculus, intuitionistic logic and cartesian closed categories.</ABSTRACT><URL>http://www.dcs.gla.ac.uk/~simon/publications/lics95.pdf</URL></RECORD></RECORDS></XML>