Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas (English)
Free access
- New search for: König, Barbara
- New search for: Mika-Michalski, Christina
- New search for: Schröder, Lutz
- New search for: König, Barbara
- New search for: Mika-Michalski, Christina
- New search for: Schröder, Lutz
2020
- Preprint / Electronic Resource
-
Title:Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas
-
Contributors:
-
Publisher:
- New search for: arXiv
-
Publication date:2020
-
Remarks:Long version of CMCS 2020 paper
-
DOI:
-
Type of media:Preprint
-
Type of material:Electronic Resource
-
Language:English
- New search for: 03B70
- Further information on Mathematics Subject Classification
-
Classification:
MSC: 03B70 -
Licence:
-
Source: