Electronic Resource
(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras
| العنوان: | (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras |
|---|---|
| المؤلفون: | Mika-Michalski, Christina |
| بيانات النشر: | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik LIPIcs - Leibniz International Proceedings in Informatics. 29th International Conference on Concurrency Theory (CONCUR 2018) 2018 |
| نوع الوثيقة: | Electronic Resource |
| مستخلص: | Behavioural equivalences can be characterized via bisimulations, modal logics and spoiler-defender games. In this paper we review these three perspectives in a coalgebraic setting, which allows us to generalize from the particular branching type of a transition system. We are interested in qualitative notions (classical bisimulation) as well as quantitative notions (bisimulation metrics). Our first contribution is to introduce a spoiler-defender bisimulation game for coalgebras in the classical case. Second, we introduce such games for the metric case and furthermore define a real-valued modal coalgebraic logic, from which we can derive the strategy of the spoiler. For this logic we show a quantitative version of the Hennessy-Milner theorem. |
| مصطلحات الفهرس: | coalgebra, bisimulation games, spoiler-defender games, behavioural metrics, modal logic, Data processing Computer science, InProceedings, publishedVersion |
| DOI: | 10.4230.LIPIcs.CONCUR.2018.37 |
| الاتاحة: | Open access content. Open access content https://creativecommons.org/licenses/by/3.0 |
| ملاحظة: | application/pdf English |
| Other Numbers: | DEDAG oai:drops-oai.dagstuhl.de:9575 doi:10.4230/LIPIcs.CONCUR.2018.37 urn:nbn:de:0030-drops-95757 https://drops.dagstuhl.de/opus/volltexte/2018/9575/ 1056764190 |
| المصدر المساهم: | SCHLOSS DAGSTUHL LEIBNIZ ZENTRUM GMBH From OAIster®, provided by the OCLC Cooperative. |
| رقم الانضمام: | edsoai.on1056764190 |
| قاعدة البيانات: | OAIster |
| DOI: | 10.4230.LIPIcs.CONCUR.2018.37 |
|---|