The following pages link to (Q4885871):
Displayed 18 items.
- The coinductive resumption monad (Q283770) (← links)
- Coalgebras, Chu spaces, and representations of physical systems (Q358691) (← links)
- CPO semantics of timed interactive actor networks (Q959824) (← links)
- Graphical reasoning in compact closed categories for quantum computation (Q1044227) (← links)
- Variations on mobile processes (Q1960530) (← links)
- A specification structure for deadlock-freedom of synchronous processes (Q1960536) (← links)
- Weakest preconditions in fibrations (Q2133463) (← links)
- Multiparty session types as coherence proofs (Q2357654) (← links)
- A categorical framework for typing CCS-style process communication (Q2841310) (← links)
- Concrete Process Categories (Q2841311) (← links)
- Handshake Games (Q2864210) (← links)
- Conflation Confers Concurrency (Q3188279) (← links)
- An Ordered Category of Processes (Q3498427) (← links)
- The Calculus of Handshake Configurations (Q3617732) (← links)
- Techniques for Formal Modelling and Analysis of Quantum Systems (Q4922086) (← links)
- A Petri Net Model of Handshake Protocols (Q5166613) (← links)
- What are the Fundamental Structures of Concurrency? (Q5262949) (← links)
- Retracing some paths in process algebra (Q6104362) (← links)