Observed Communication Semantics for Classical Processes
No abstract available.
Related papers
- Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers POPL 2024
- Communicating quantum processes POPL 2005
- Better late than never: a fully-abstract semantics for classical processes POPL 2019
- Message-Observing Sessions OOPSLA 2024
- Communicating Reactive Processes POPL 1993
- Bisimulation for Quantum Processes TOPLAS 2012
- A Classical Realizability Model for a Semantical Value Restriction ESOP 2016
- Typing communicating component assemblages GPCE 2008