scientific article; zbMATH DE number 7649944
From MaRDI portal
Publication:5875398
DOI10.4230/LIPIcs.CONCUR.2019.36MaRDI QIDQ5875398
Stefan Milius, Ulrich Dorsch, Lutz Schröder
Publication date: 3 February 2023
Full work available at URL: https://arxiv.org/abs/1812.01317
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Flexibly graded monads and graded algebras ⋮ Unnamed Item ⋮ Graded algebraic theories ⋮ Unnamed Item ⋮ Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic ⋮ Coalgebraic semantics for nominal automata
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Coalgebraic methods in computer science. 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31--April 1, 2012. Revised selected papers
- SOFSEM 2017: theory and practice of computer science. 43rd international conference on current trends in theory and practice of computer science, Limerick, Ireland, January 16--20, 2017, Proceedings
- Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22--29, 2017. Proceedings
- On the final sequence of a finitary set functor
- Expressive logics for coalgebras via terminal sequence induction
- Maximal traces and path-based coalgebraic temporal logics
- Eilenberg--Moore algebras for stochastic relations
- Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations
- Bisimulation through probabilistic testing
- Universal coalgebra: A theory of systems
- Theoretical aspects of computing -- ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16--19, 2018. Proceedings
- Steps and traces
- Graded monads and rings of polynomials
- Expressivity of coalgebraic modal logic: the limits and beyond
- Final coalgebras for functors on measurable spaces
- Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems
- Automata theory in nominal sets
- Trace Semantics via Determinization
- Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
- Coalgebraic Trace Semantics via Forgetful Logics
- Convexity, Duality and Effects
- Structural Operational Semantics for Weighted Transition Systems
- EQUIVALENCE OF LABELED MARKOV CHAINS
- Characterising Testing Preorders for Finite Probabilistic Processes
- Algebraic laws for nondeterminism and concurrency
- From Branching to Linear Time, Coalgebraically
- Generalizing determinization from automata to coalgebras
- Coalgebraic Infinite Traces and Kleisli Simulations
- A Coalgebraic Approach to Linear-Time Logics
- Generic Trace Semantics via Coinduction
- A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems
This page was built for publication:
