Gay, S., and Nagarajan, R. (1995) A typed calculus of synchronous processes. In: Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95, 26-29 Jun 1995, San Diego, CA , USA .
Full text not currently available from Enlighten.
Publisher's URL: http://dx.doi.org/10.1109/LICS.1995.523258
Proposes 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
|Item Type:||Conference Proceedings|
|Glasgow Author(s) Enlighten ID:||Gay, Dr Simon|
|Authors:||Gay, S., and Nagarajan, R.|
|College/School:||College of Science and Engineering > School of Computing Science|