Enlighten
Research publications by members of the University of Glasgow
home > services > Enlighten

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, 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

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, Dr 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