Trace semantics via determinization
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 5761737 (Why is no real title available?)
- scientific article; zbMATH DE number 3904807 (Why is no real title available?)
- scientific article; zbMATH DE number 3769855 (Why is no real title available?)
- scientific article; zbMATH DE number 2090722 (Why is no real title available?)
- scientific article; zbMATH DE number 822489 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- A spectrum of behavioral relations over LTSs on probability distributions
- Adjoint Lifting Theorems for Categories of Algebras
- Alternation
- Characterising Testing Preorders for Finite Probabilistic Processes
- Coalgebraic walks, in quantum and Turing computation
- Complete iterativity for algebras with effects
- Distributing probability over non-determinism
- Eilenberg--Moore algebras for stochastic relations
- Exemplaric Expressivity of Modal Logics
- Final semantics for decorated traces
- Finite Automata Computing Real Functions
- Generalizing determinization from automata to coalgebras
- Generalizing the powerset construction, coalgebraically
- Generic Trace Semantics via Coinduction
- Lifting theorems for Kleisli categories
- Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
- Mathematical Foundations of Computer Science 2004
- Notions of computation and monads
- On coalgebras over algebras
- On equations for regular languages, finite automata, and sequential networks
- Probabilistic logical characterization
- Scalars, monads and categories
- Sound and complete axiomatization of trace semantics for probabilistic systems
- Strong functors and monoidal monads
- Testing Semantics: Connecting Processes and Process Logics
- Trace semantics via determinization
- Weighted Bisimulation in Linear Algebraic Form
Cited in
(38)- Algebraic presentation of semifree monads
- Coalgebraic semantics for nominal automata
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
- Final semantics for decorated traces
- Iterated covariant powerset is not a monad
- Abstract interpretation of trace semantics for concurrent calculi
- Linear-time logics -- a coalgebraic perspective
- Generic Trace Semantics via Coinduction
- Up-to techniques for behavioural metrics via fibrations
- Coalgebraic minimization of automata by initiality and finality
- Termination in convex sets of distributions
- scientific article; zbMATH DE number 7204940 (Why is no real title available?)
- scientific article; zbMATH DE number 1973223 (Why is no real title available?)
- ``Keep definition, change category -- a practical approach to state-based system calculi
- Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies
- Quantitative simulations by matrices
- Revisiting Semantics of Interactions for Trace Validity Analysis
- Up-to techniques for behavioural metrics via fibrations
- A coalgebraic view on decorated traces
- Long-term values in Markov decision processes, (co)algebraically
- Steps and traces
- scientific article; zbMATH DE number 7566077 (Why is no real title available?)
- Trace semantics for coalgebras
- (In)finite trace equivalence of probabilistic transition systems
- Proper functors and fixed points for finite behaviour
- Preservation and reflection of bisimilarity via invertible steps
- Graded monads and behavioural equivalence games
- Trace semantics via generic observations
- Trace Semantics for IPDL
- Canonical automata via distributive law homomorphisms
- Feedback, trace and fixed-point semantics
- Trace semantics via determinization
- Towards trace metrics via functor lifting
- Correspondence between composite theories and distributive laws
- Graded semantics and graded logics for Eilenberg-Moore coalgebras
- Duality of equations and coequations via contravariant adjunctions
- Coalgebraic trace semantics via forgetful logics
- Distribution bisimilarity via the power of convex algebras
This page was built for publication: Trace semantics via determinization
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2341701)
