Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences (Q5415615)
From MaRDI portal
scientific article; zbMATH DE number 6294816
Language | Label | Description | Also known as |
---|---|---|---|
English | Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences |
scientific article; zbMATH DE number 6294816 |
Statements
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences (English)
0 references
13 May 2014
0 references
processes
0 references
semantic preorders
0 references
simulations up-to
0 references
linear time-branching time spectrum
0 references