[HTML][HTML] Theory of interaction
Y Fu - Theoretical Computer Science, 2016 - Elsevier
Abstract Theory of Interaction aims to provide a foundational framework for computation and
interaction. It proposes four fundamental principles that characterize the common features of …
interaction. It proposes four fundamental principles that characterize the common features of …
Fair subtyping for multi-party session types
L Padovani - Mathematical Structures in Computer Science, 2016 - cambridge.org
The subtyping relation defined for dyadic session type theories may compromise the
liveness of multi-party sessions. In this paper, we define a fair subtyping relation for multi …
liveness of multi-party sessions. In this paper, we define a fair subtyping relation for multi …
[PDF][PDF] Innocent strategies as presheaves and interactive equivalences for CCS (expanded version)
T Hirschowitz, D Pous - core.ac.uk
Seeking a general framework for reasoning about and comparing programming languages,
we derive a new view of Milner's CCS [34]. We construct a category E of plays, and a …
we derive a new view of Milner's CCS [34]. We construct a category E of plays, and a …