TY  - JOUR
A1  - Glück, Roland
A1  - Möller, Bernhard
A1  - Sintzoff, Michel
T1  - A semiring approach to equivalences, bisimulations and control
T2  - Lecture Notes in Computer Science
N2  - Equivalences, partitions and (bi)simulations are usually tackled using concrete relations. There are only few treatments by abstract relation algebra or category theory. We give an approach based on the theory of semirings and quantales. This allows applying the results directly to structures such as path and tree algebras which is not as straightforward in the other approaches mentioned. Also, the amount of higher-order formulations used is low and only a one-sorted algebra is used. This makes the theory suitable for fully automated first-order proof systems. As a small application we show how to use the algebra to construct a simple control policy for infinite-state transition systems.
Y1  - 2009
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/58785
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-587851
SN  - 9783642046384
SN  - 9783642046391
SN  - 0302-9743
SN  - 1611-3349
VL  - 5827
SP  - 134
EP  - 149
PB  - Springer
CY  - Berlin
ER  -