Testing Semantics: Connecting Processes and Process Logics
From MaRDI portal
Publication:3623942
DOI10.1007/11784180_24zbMath1236.68065OpenAlexW1508750282MaRDI QIDQ3623942
Dusko Pavlovic, Michael W. Mislove, James Worrell
Publication date: 28 April 2009
Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11784180_24
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (17)
A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation ⋮ Structural Operational Semantics and Modal Logic, Revisited ⋮ Enriched logical connections ⋮ Preservation and reflection of bisimilarity via invertible steps ⋮ Smooth coalgebra: testing vector analysis ⋮ Coalgebraic trace semantics via forgetful logics ⋮ Unnamed Item ⋮ On monotone modalities and adjointness ⋮ Duality of Equations and Coequations via Contravariant Adjunctions ⋮ Steps and traces ⋮ Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract) ⋮ Bialgebraic methods and modal logic in structural operational semantics ⋮ Approximating Markov Processes by Averaging ⋮ Trace semantics via determinization ⋮ Bialgebraic Methods in Structural Operational Semantics ⋮ Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic ⋮ Coalgebraic Modal Logic Beyond Sets
This page was built for publication: Testing Semantics: Connecting Processes and Process Logics