scientific article; zbMATH DE number 7559483
From MaRDI portal
Publication:5089293
DOI10.4230/LIPIcs.CONCUR.2020.27MaRDI QIDQ5089293
Publication date: 18 July 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Kantorovich functors and characteristic logics for behavioural distances ⋮ Explainability of probabilistic bisimilarity distances for labelled Markov chains ⋮ A point-free perspective on lax extensions and predicate liftings ⋮ A quantified coalgebraic van Benthem theorem ⋮ Unnamed Item
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Dependable software engineering: theories, tools, and applications. Second international symposium, SETTA 2016, Beijing, China, November 9--11, 2016. Proceedings
- Expressive logics for coalgebras via terminal sequence induction
- Metrics for labelled Markov processes
- Simulations in coalgebra
- CONCUR 2014 -- concurrency theory. 25th international conference, CONCUR 2014, Rome, Italy, September 2--5, 2014. Proceedings
- Coalgebraic logic
- Universal coalgebra: A theory of systems
- A behavioural pseudometric for probabilistic transition systems
- Local and global operators and many-valued modal logics
- Lax extensions of coalgebra functors and their logic
- Terminal coalgebras in well-founded set theory
- Recursively defined metric spaces without contraction
- Topological theories and closed objects
- Foundations of software science and computational structures. 14th international conference, FOSSACS 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 -- April 3, 2011. Proceedings
- The quantitative linear-time-branching-time spectrum
- Expressivity of coalgebraic modal logic: the limits and beyond
- Equational Coalgebraic Logic
- Monoidal Topology
- Notions of Bisimulation for Heyting-Valued Modal Languages
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
- Bisimulation Metrics for Continuous Markov Decision Processes
- Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
- Łukasiewicz μ-calculus
- (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras
- Monads and Quantitative Equational Theories for Nondeterminism and Probability
- Bisimulation Metrics for Weighted Automata
- From Kripke to Neighborhood Semantics for Modal Fuzzy Logics
- A van Benthem Theorem for Fuzzy Modal Logic
- Generic Trace Semantics and Graded Monads.
- Relational algebras
- Optimal Transport
This page was built for publication:
