# A typed calculus of synchronous processes

- Authors
- Publication Date
- Disciplines

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

## There are no comments yet on this publication. Be the first to share your thoughts.