A semiring approach to equivalences, bisimulations and control
- 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.
Download full text files
Postprint
Statistics
Additional Services
| Author: | Roland Glück, Bernhard MöllerGND, Michel Sintzoff |
|---|---|
| URN: | urn:nbn:de:bvb:384-opus4-587851 |
| Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/58785 |
| ISBN: | 9783642046384OPAC |
| ISBN: | 9783642046391OPAC |
| ISSN: | 0302-9743OPAC |
| ISSN: | 1611-3349OPAC |
| Parent Title (English): | Lecture Notes in Computer Science |
| Publisher: | Springer |
| Place of publication: | Berlin |
| Type: | Article |
| Language: | English |
| Year of first Publication: | 2009 |
| Publishing Institution: | Universität Augsburg |
| Release Date: | 2019/07/23 |
| Volume: | 5827 |
| First Page: | 134 |
| Last Page: | 149 |
| DOI: | https://doi.org/10.1007/978-3-642-04639-1_10 |
| Institutes: | Fakultät für Angewandte Informatik |
| Fakultät für Angewandte Informatik / Institut für Informatik | |
| Fakultät für Angewandte Informatik / Institut für Informatik / Professur für Programmiermethodik und Multimediale Informationssysteme | |
| Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
| Licence (German): |  Deutsches Urheberrecht |
