A Calculus for Hybrid CSP
Abstract elided by the publisher.
Related papers
- Synthesizing SystemC Code from Delay Hybrid CSP APLAS 2017
- From Duration Calculus To Linear Hybrid Automata CAV 1995
- HpC: A Calculus for Hybrid and Mobile Systems OOPSLA 2025
- Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus APLAS 2021
- A Generic Theorem Prover of CSP Refinement TACAS 2005
- Time-Constrained Buffer Specifications in CSP+T and Timed CSP TOPLAS 1994
- FDR3 - A Modern Refinement Checker for CSP TACAS 2014
- Modeling the Distributed Termination Convention of CSP TOPLAS 1984