Project Details
Projekt Print View

Storage mechanisms as monoids

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

 
 

Additional Information

Textvergrößerung und Kontrastanpassung