Project Details
Storage mechanisms as monoids
Applicant
Professor Dr. Dietrich Kuske
Subject Area
Theoretical Computer Science
Term
from 2015 to 2018
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 272263028
Final Report Year
2018
Final Report Abstract
Zur Verifikation von Systemen mit unendlich vielen Zuständen wurden sowohl zuverlässige als auch vergessende FIFO-Kanäle untersucht. Ein konzeptionell wichtiges Ergebnis dieses Forschungsprojekts ist das Modell einer ”partially lossy queue“, das es erlaubt, die beiden vorher bekannten Kanaltypen in einer gemeinsamen Theorie zu betrachten. Während die bisherigen Ergebnisse eher algebraische Aspekte betrachten, werden die Untersuchungen unter stärkerer Konzentration auf Verifikationsaspekte fortgesetzt werden.
Publications
-
The trace monoids in the queue monoid and in the direct product of two free monoids. In DLT’16, Lecture Notes in Comp. Science, Band 9840, Seiten 256–267. Springer, 2016
D. Kuske und O. Prianychnykova
-
The transformation monoid of a partially lossy queue. In CSR’17, Lecture Notes in Comp. Science, Band 10304, Seiten 191–205, Springer 2017
C. Köcher und D. Kuske
-
Rational, recognizable, and aperiodic sets in the partially lossy queue monoid. In STACS’18, Leibniz International Proceedings in Informatics (LIPIcs), Seiten 45:1–45:14. Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2018
C. Köcher
-
The inclusion structure of partially lossy queue monoids and their trace submonoids. RAIRO - Theoretical Informatics and Applications, 52:55–86, 2018
C. Köcher, D. Kuske und E. Prianychnykova