Speichermechanismen als Monoide

• Antragsteller: Professor Dr. Dietrich Kuske
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2015 bis 2018
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 272263028

• Erstellungsjahr: 2018

Zusammenfassung der Projektergebnisse

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.

Projektbezogene Publikationen (Auswahl)

• 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