BISON instantiating the whitened swap-or-not construction
From MaRDI portal
Publication:2292708
Recommendations
- Weak Bisimulation Up to Elaboration
- A note on Coinduction and Weak Bisimilarity for While Programs
- scientific article; zbMATH DE number 7699441
- A type-theoretical alternative to ISWIM, CUCH, OWHY
- From rewrite rules to bisimulation congruences
- scientific article; zbMATH DE number 7440178
- Calculating Invariants as Coreflexive Bisimulations
- Logic-induced bisimulations
- The true bisimulations for 'since' and 'until'
- Non-deterministic algebraization of logics by swap structures
This page was built for publication: BISON instantiating the whitened swap-or-not construction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2292708)