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
  (See online at https://doi.org/10.1007/978-3-319-58747-9_18)
• 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
  (See online at https://doi.org/10.1051/ita/2018003)