A Typed Calculus of Synchronous Processes Export

@inproceedings{citeulike:1207897, 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 -calculus is canonical for functional computation. We show strong connections between syntax, logic and semantics, analogous to the familiar correspondence between the typed -calculus, intuitionistic logic and cartesian closed categories. 1 Introduction T ypes are fundamental to the study of...}, address = {San Diego, California}, author = {Gay, Simon and Nagarajan, Rajagopal}, booktitle = {Proceedings of the Tenth Annual Symposium on Logic in Computer Science}, citeulike-article-id = {1207897}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.4414}, editor = {Kozen, D.}, keywords = {calculus, process}, posted-at = {2007-04-05 09:04:03}, priority = {2}, title = {A Typed Calculus of Synchronous Processes}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.4414}, year = {1995} }

TY - CONF ID - citeulike:1207897 L3 - citeulike-article-id:1207897 N2 - 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 -calculus is canonical for functional computation. We show strong connections between syntax, logic and semantics, analogous to the familiar correspondence between the typed -calculus, intuitionistic logic and cartesian closed categories. 1 Introduction T ypes are fundamental to the study of... AD - San Diego, California TI - A Typed Calculus of Synchronous Processes T2 - Proceedings of the Tenth Annual Symposium on Logic in Computer Science KW - calculus KW - process AU - Gay, Simon AU - Nagarajan, Rajagopal A2 - Kozen, D PY - 1995/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.4414 ER -