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, San Diego, CA , USA, 26-29 Jun 1995, pp. 210-220. ISBN 0818670509 (doi: 10.1109/LICS.1995.523258)
Full text not currently available from Enlighten.
Publisher's URL: http://dx.doi.org/10.1109/LICS.1995.523258
Abstract
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 |
---|---|
Status: | Published |
Refereed: | Yes |
Glasgow Author(s) Enlighten ID: | Gay, Professor Simon |
Authors: | Gay, S., and Nagarajan, R. |
College/School: | College of Science and Engineering > School of Computing Science |
ISBN: | 0818670509 |
University Staff: Request a correction | Enlighten Editors: Update this record