Generic Trace Semantics via Coinduction

From MaRDI portal
Publication:5453504

DOI10.2168/LMCS-3(4:11)2007zbMath1131.68058MaRDI QIDQ5453504

Bart Jacobs, Ichiro Hasuo, Ana Sokolova

Publication date: 1 April 2008

Published in: Logical Methods in Computer Science (Search for Journal in Brave)




Related Items (62)

Coinductive predicates and final sequences in a fibrationMonads for behaviourStream processors and comodelsCoalgebras for Bisimulation of Weighted Automata over SemiringsComplete Iterativity for Algebras with EffectsTraces, Executions and Schedulers, CoalgebraicallyTowards Bialgebraic Semantics for the Linear Time – Branching Time SpectrumIdentifying all preorders on the subdistribution monadInitial algebras and final coalgebras consisting of nondeterministic finite trace strategiesIterated covariant powerset is not a monad``Keep definition, change category -- a practical approach to state-based system calculiRelation lifting, a surveyCoalgebraic Representation Theory of FractalsFinal Semantics for Decorated TracesTrace-Based Coinductive Operational Semantics for WhileA Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time SpectrumGeneric Infinite Traces and Path-Based Coalgebraic Temporal LogicsFrom Coalgebraic to Monoidal TracesSemantics of higher-order quantum computation via geometry of interactionUnnamed ItemGeneric weakest precondition semantics from monads enriched with orderCoalgebraic constructions of canonical nondeterministic automataKilling epsilons with a dagger: a coalgebraic study of systems with algebraic label structureBehavioural equivalences for coalgebras with unobservable movesRunners for interleaving algebraic effectsUnnamed ItemUnnamed ItemSmooth coalgebra: testing vector analysisPractical coinductionUnnamed ItemMaximal traces and path-based coalgebraic temporal logicsBialgebras for structural operational semantics: an introductionCoalgebraic semantics of modal logics: an overviewCoalgebraic trace semantics via forgetful logicsUnnamed ItemUnnamed ItemCombining semilattices and semimodulesExtensional quotient coalgebrasUnnamed ItemInitial Algebras of Terms with Binding and Algebraic StructureTowards Effects in Mathematical Operational SemanticsSound and Complete Axiomatization of Trace Semantics for Probabilistic SystemsProbabilistic anonymity via coalgebraic simulationsUnnamed ItemUnnamed ItemQuantitative simulations by matricesA generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata(in)finite trace equivalence of probabilistic transition systemsSteps and tracesCategorical Büchi and parity conditions via alternating fixed points of functorsUnnamed ItemA coalgebraic view on reachabilityCoinductive predicates and final sequences in a fibrationUnnamed ItemSimplified Coalgebraic Trace EquivalenceTrace semantics via determinizationRelational presheaves, change of base and weak simulationUnnamed ItemPredicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logicCoalgebraic semantics for nominal automataMerging Hierarchically-Structured Documents in Workflow SystemsCoalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems






This page was built for publication: Generic Trace Semantics via Coinduction