Versenden
Drucken
Glück, Roland (2026) Simulation Quotients Simulating Bisimulation Quotients. Springer. Relational and Algebraic Methods in Computer Science - 22nd International Conference, RAMiCS 2026, 2026-04-07 - 2026-04-10, Będlewo, Polen. doi: 10.1007/978-3-032-22469-9_10. ISBN 978-3-032-22468-2.
Dieses Archiv kann nicht den Volltext zur Verfügung stellen.
Offizielle URL: https://doi.org/10.1007/978-3-032-22469-9_10
Kurzfassung
Bisimulation quotients were used in previous work in the context of model refinement and computational problems dealing with matrices over dioids. In this work, we investigate how bisimulation quotients can be replaced in these topics by the weaker construction of simulation quotients.
| elib-URL des Eintrags: | https://elib.dlr.de/224482/ | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||
| Zusätzliche Informationen: | Die ORCIDs zweier Herausgeber des Konferenzbandes konnten nicht eingetragen werden, da die Felder ausgegraut und schreibgeschützt waren. Die ORCID von Uli Fahrenberg lautet 0000-0001-9094-7625, von Wesley Fussner 0000-0002-6025-8770. Der Artikel im Konferenzband ist in Scopus gelistet: https://www.scopus.com/pages/publications/105035829092 | ||||||||||||||||
| Titel: | Simulation Quotients Simulating Bisimulation Quotients | ||||||||||||||||
| Autoren: |
| ||||||||||||||||
| Datum: | April 2026 | ||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||
| Open Access: | Nein | ||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||
| In SCOPUS: | Nein | ||||||||||||||||
| In ISI Web of Science: | Nein | ||||||||||||||||
| Band: | 16526 | ||||||||||||||||
| DOI: | 10.1007/978-3-032-22469-9_10 | ||||||||||||||||
| Seitenbereich: | Seiten 169-187 | ||||||||||||||||
| Herausgeber: |
| ||||||||||||||||
| Verlag: | Springer | ||||||||||||||||
| Name der Reihe: | Lecture Notes in Computer Science | ||||||||||||||||
| ISBN: | 978-3-032-22468-2 | ||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||
| Stichwörter: | Simulation Quotients Bisimulation Quotients Model Refinement Relations | ||||||||||||||||
| Veranstaltungstitel: | Relational and Algebraic Methods in Computer Science - 22nd International Conference, RAMiCS 2026 | ||||||||||||||||
| Veranstaltungsort: | Będlewo, Polen | ||||||||||||||||
| Veranstaltungsart: | internationale Konferenz | ||||||||||||||||
| Veranstaltungsbeginn: | 7 April 2026 | ||||||||||||||||
| Veranstaltungsende: | 10 April 2026 | ||||||||||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||
| HGF - Programm: | Verkehr | ||||||||||||||||
| HGF - Programmthema: | Straßenverkehr | ||||||||||||||||
| DLR - Schwerpunkt: | Verkehr | ||||||||||||||||
| DLR - Forschungsgebiet: | V ST Straßenverkehr | ||||||||||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | V - ASPIRO - Aerospace production using intelligent robotic systems | ||||||||||||||||
| Standort: | Augsburg | ||||||||||||||||
| Institute & Einrichtungen: | Institut für Bauweisen und Strukturtechnologie > Automation und Produktionstechnologie | ||||||||||||||||
| Hinterlegt von: | Glück, Dr. Roland | ||||||||||||||||
| Hinterlegt am: | 27 Mai 2026 10:36 | ||||||||||||||||
| Letzte Änderung: | 27 Mai 2026 10:36 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
