Steps and traces
From MaRDI portal
Publication:1798791
DOI10.1007/978-3-030-00389-0_8OpenAlexW2890223432MaRDI QIDQ1798791
Jurriaan Rot, Bart Jacobs, Paul Blain Levy
Publication date: 23 October 2018
Full work available at URL: https://arxiv.org/abs/2004.05400
Related Items (3)
Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies ⋮ Iterated covariant powerset is not a monad ⋮ Unnamed Item
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On a categorical framework for coalgebraic modal logic
- Generic weakest precondition semantics from monads enriched with order
- Coalgebraic minimization of automata by initiality and finality
- Completely iterative algebras and completely iterative monads
- Trace semantics via determinization
- Recursive coalgebras from comonads
- Conjugate Hylomorphisms -- Or
- Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions
- Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
- Coalgebraic trace semantics via forgetful logics
- Testing Semantics: Connecting Processes and Process Logics
- Corecursive Algebras: A Study of General Structured Corecursion
- Generalised coinduction
- Healthiness from Duality
- Generalizing determinization from automata to coalgebras
- Simplified Coalgebraic Trace Equivalence
- Coalgebraic Modal Logic Beyond Sets
- Final Coalgebras from Corecursive Algebras.
- Generic Trace Semantics and Graded Monads.
- A Coalgebraic Approach to Linear-Time Logics
- Generic Trace Semantics via Coinduction
- Foundations of Software Science and Computational Structures
- A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
This page was built for publication: Steps and traces
