Sequent Calculi for Process Verification: Hennessy-Milner Logic for an Arbitrary GSOS

Alexander Simpson

Research output: Contribution to journal › Article › peer-review

1 results

Filter

Finished
Models and Axioms for the Semantics of Computation
Simpson, A.
EPSRC
1/10/01 → 30/09/06
Project: Research