Publication:5875398

DOI10.4230/LIPICS.CONCUR.2019.36MaRDI QIDQ5875398FDOQ5875398

Stefan Milius, Ulrich Dorsch, Lutz Schröder

Publication date: 3 February 2023

Full work available at URL: https://arxiv.org/abs/1812.01317

Title of this publication is not available (Why is that?)

zbMATH Keywords

modal logicsmonadsexpressivenesslinear timebranching timesystem equivalences

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Universal coalgebra: A theory of systems
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• Trace semantics for coalgebras
• Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
• Structural Operational Semantics for Weighted Transition Systems
• Algebraic laws for nondeterminism and concurrency
• Generic Trace Semantics via Coinduction
• On the final sequence of a finitary set functor
• Maximal traces and path-based coalgebraic temporal logics
• Bisimulation through probabilistic testing
• Expressivity of coalgebraic modal logic: the limits and beyond
• Expressive logics for coalgebras via terminal sequence induction
• Convexity, Duality and Effects
• Eilenberg--Moore algebras for stochastic relations
• Characterising Testing Preorders for Finite Probabilistic Processes
• EQUIVALENCE OF LABELED MARKOV CHAINS
• Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations
• Final coalgebras for functors on measurable spaces
• 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
• Automata theory in nominal sets
• Generalizing determinization from automata to coalgebras
• Theoretical aspects of computing -- ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16--19, 2018. Proceedings
• A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems
• Coalgebraic trace semantics for continuous probabilistic transition systems
• Coalgebraic Trace Semantics via Forgetful Logics
• Coalgebraic Infinite Traces and Kleisli Simulations
• Trace Semantics via Determinization
• A Coalgebraic Approach to Linear-Time Logics
• Steps and traces
• From Branching to Linear Time, Coalgebraically
• Graded monads and rings of polynomials

Cited In (9)

• Coalgebraic semantics for nominal automata
• Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
• Title not available (Why is that?)
• Flexibly graded monads and graded algebras
• Twists of graded algebras in monoidal categories
• Graded algebraic theories
• Title not available (Why is that?)
• Graded monads and behavioural equivalence games
• Graded semantics and graded logics for Eilenberg-Moore coalgebras

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5875398)