Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
Labelled transition systems
Transition systems |
| gptkbp:defines |
A binary relation between state transition systems associating systems that behave in the same way in that one system simulates the other and vice versa.
|
| gptkbp:field |
gptkb:Mathematics
gptkb:Theoretical_computer_science |
| gptkbp:hasProperty |
Symmetric
Transitive Reflexive |
| https://www.w3.org/2000/01/rdf-schema#label |
BiSimulation
|
| gptkbp:introduced |
gptkb:David_Park
|
| gptkbp:introducedIn |
1981
|
| gptkbp:relatedTo |
Modal logic
Process algebra Equivalence relation Simulation preorder |
| gptkbp:usedFor |
Comparing the behavior of state-based systems
Verifying equivalence of processes |
| gptkbp:usedIn |
Model checking
Concurrency theory |
| gptkbp:bfsParent |
gptkb:BiS
|
| gptkbp:bfsLayer |
7
|