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
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;
Conference_Titel :
Logic in Computer Science, 1995. LICS '95. Proceedings., Tenth Annual IEEE Symposium on
Conference_Location :
San Diego, CA
Print_ISBN :
0-8186-7050-9
DOI :
10.1109/LICS.1995.523258
