A typed calculus of synchronous processes

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


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, Professor Simon
Authors: Gay, S., and Nagarajan, R.
College/School:College of Science and Engineering > School of Computing Science

University Staff: Request a correction | Enlighten Editors: Update this record