scientific article
From MaRDI portal
Publication:2843725
zbMath1270.68191MaRDI QIDQ2843725
Publication date: 23 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104806364
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Components as coalgebras: the refinement dimension ⋮ Non-strongly Stable Orders Also Define Interesting Simulation Relations ⋮ Identifying all preorders on the subdistribution monad ⋮ Transposing partial components--an exercise on coalgebraic refinement ⋮ Bialgebras for structural operational semantics: an introduction ⋮ Up-to Techniques for Branching Bisimilarity ⋮ Approximate relational Hoare logic for continuous random samplings ⋮ Codensity Lifting of Monads and its Dual ⋮ Simulations in coalgebra ⋮ A modular approach to defining and characterising notions of simulation
This page was built for publication:
