Final semantics for decorated traces

DOI10.1016/J.ENTCS.2012.08.006MaRDI QIDQ3178274zbMATH OpenOpenAlexWikidataFDO

Authors Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Alexandra Silva, Jan J. M. M. Rutten

Publication date 8 July 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2012.08.006

zbMATH Keywords

coalgebrasdecorated tracesfinal Moore automatalabelled transition systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A coalgebraic view on decorated traces
• Trace semantics via determinization
• Trace semantics via determinization
• Simplified coalgebraic trace equivalence
• scientific article; zbMATH DE number 1497803

Cites work

• A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum
• Checking NFA equivalence with bisimulations up to congruence
• Circular coinduction: a proof theoretical foundation
• Generalizing determinization from automata to coalgebras
• Generalizing the powerset construction, coalgebraically
• Generic Trace Semantics via Coinduction
• scientific article; zbMATH DE number 5761737 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• Processes as formal power series: a coinductive approach to denotational semantics
• Testing equivalence as a bisimulation equivalence
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• Universal coalgebra: A theory of systems

Cited in

(6)

• Trace semantics via determinization
• A coalgebraic view on decorated traces
• Simplified coalgebraic trace equivalence
• Precongruence formats for decorated trace semantics
• Graded semantics and graded logics for Eilenberg-Moore coalgebras
• On Kleisli liftings and decorated trace semantics

Describes a project that uses

Uses Software

• CIRC

This page was built for publication: Final semantics for decorated traces

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