Steps and traces

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

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