scientific article; zbMATH DE number 7204557
From MaRDI portal
Publication:5111437
DOI10.4230/LIPIcs.ICALP.2017.105zbMath1442.68137MaRDI QIDQ5111437
Nathanaël Fijalkow, Bartek Klin, Prakash Panangaden
Publication date: 27 May 2020
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Descriptive set theory (03E15) Modal logic (including the logic of norms) (03B45) Probability and inductive logic (03B48) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (5)
Towards a classification of behavioural equivalences in continuous-time Markov processes ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Constructive logical characterizations of bisimilarity for reactive probabilistic systems ⋮ (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras
This page was built for publication: