DocumentCode
3293368
Title
A typed calculus of synchronous processes
Author
Gay, Simon ; Nagarajan, Rajagopal
Author_Institution
Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
fYear
1995
fDate
26-29 Jun 1995
Firstpage
210
Lastpage
220
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
Keywords
formal logic; parallel programming; process algebra; synchronisation; type theory; λ-calculus; Cartesian closed categories; canonical calculus; concurrency; interaction categories; intuitionistic logic; logic; semantics; synchronous processes; syntax; typed calculus; Algebra; Calculus; Concurrent computing; Educational institutions; Logic programming; Programming profession; System recovery; Turning;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1995. LICS '95. Proceedings., Tenth Annual IEEE Symposium on
Conference_Location
San Diego, CA
ISSN
1043-6871
Print_ISBN
0-8186-7050-9
Type
conf
DOI
10.1109/LICS.1995.523258
Filename
523258
Link To Document