Calculating Invariants as Coreflexive Bisimulations (Q5505417)
From MaRDI portal
scientific article; zbMATH DE number 5498131
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Calculating Invariants as Coreflexive Bisimulations |
scientific article; zbMATH DE number 5498131 |
Statements
Calculating Invariants as Coreflexive Bisimulations (English)
0 references
27 January 2009
0 references
coalgebraic reasoning
0 references
proof obligations
0 references
pointfree transform
0 references
program calculation
0 references
