A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum
From MaRDI portal
Publication:3184736
DOI10.1007/978-3-642-03429-9_17zbMath1253.68230MaRDI QIDQ3184736
Publication date: 22 October 2009
Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-03429-9_17
68Q65: Abstract data types; algebraic specification
Related Items
Bialgebras for structural operational semantics: an introduction, Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum
Cites Work