scientific article
From MaRDI portal
Publication:2908856
DOI10.4230/LIPIcs.FSTTCS.2010.272zbMath1245.68141MaRDI QIDQ2908856
Filippo Bonchi, Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten
Publication date: 29 August 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_bf91.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (18)
Final Semantics for Decorated Traces ⋮ A (co)algebraic theory of succinct automata ⋮ Companions, Codensity and Causality ⋮ Algebra-coalgebra duality in brzozowski's minimization algorithm ⋮ A general account of coinduction up-to ⋮ Initial Algebras of Terms with Binding and Algebraic Structure ⋮ Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems ⋮ Product Rules and Distributive Laws ⋮ Unnamed Item ⋮ Bisimulation and coinduction enhancements: a historical perspective ⋮ Unnamed Item ⋮ Bialgebraic foundations for the operational semantics of string diagrams ⋮ Termination in Convex Sets of Distributions ⋮ Unnamed Item ⋮ Simplified Coalgebraic Trace Equivalence ⋮ Trace semantics via determinization ⋮ Context-free coalgebras ⋮ Corecursion up-to via causal transformations
This page was built for publication:
