Graded monads and graded logics for the linear time -- branching time spectrum
From MaRDI portal
(Redirected from Publication:5875398)
Recommendations
Cites work
- A coalgebraic approach to linear-time logics
- A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems
- Algebraic laws for nondeterminism and concurrency
- Automata theory in nominal sets
- Bisimulation through probabilistic testing
- Characterising Testing Preorders for Finite Probabilistic Processes
- Coalgebraic Infinite Traces and Kleisli Simulations
- Coalgebraic methods in computer science. 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31--April 1, 2012. Revised selected papers
- Coalgebraic trace semantics for continuous probabilistic transition systems
- Coalgebraic Trace Semantics via Forgetful Logics
- Convexity, duality and effects
- Eilenberg--Moore algebras for stochastic relations
- EQUIVALENCE OF LABELED MARKOV CHAINS
- Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations
- Expressive logics for coalgebras via terminal sequence induction
- Expressiveness of positive coalgebraic logic
- Expressivity of coalgebraic modal logic: the limits and beyond
- Final coalgebras for functors on measurable spaces
- 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
- From branching to linear time, coalgebraically
- Generalizing determinization from automata to coalgebras
- Generic Trace Semantics via Coinduction
- Graded monads and graded logics for the linear time -- branching time spectrum
- Graded monads and rings of polynomials
- scientific article; zbMATH DE number 107664 (Why is no real title available?)
- scientific article; zbMATH DE number 3574080 (Why is no real title available?)
- scientific article; zbMATH DE number 195199 (Why is no real title available?)
- scientific article; zbMATH DE number 7204940 (Why is no real title available?)
- Maximal traces and path-based coalgebraic temporal logics
- On the final sequence of a finitary set functor
- 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
- Sound and complete axiomatizations of coalgebraic language equivalence
- Steps and traces
- Structural Operational Semantics for Weighted Transition Systems
- The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
- Theoretical aspects of computing -- ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16--19, 2018. Proceedings
- Trace semantics for coalgebras
- Trace semantics via determinization
- Universal coalgebra: A theory of systems
Cited in
(15)- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
- Coalgebraic semantics for nominal automata
- Graded algebraic theories
- Expressive logics for coinductive predicates
- Graded monads and graded logics for the linear time -- branching time spectrum
- Flexibly graded monads and graded algebras
- Graded Monads and Graded Logics for the Linear Time -- Branching Time Spectrum
- Twists of graded algebras in monoidal categories
- Graded monads and behavioural equivalence games
- Behavioural preorders via graded monads
- Graded semantics and graded logics for Eilenberg-Moore coalgebras
- On Kleisli liftings and decorated trace semantics
- Category-graded algebraic theories and effect handlers
- Expressive quantale-valued logics for coalgebras: an adjunction-based approach
- Quantitative graded semantics and spectra of behavioural metrics
This page was built for publication: Graded monads and graded logics for the linear time -- branching time spectrum
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5875398)
