A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum

DOI10.1007/978-3-642-03429-9_17zbMath1253.68230OpenAlexW2489192787MaRDI QIDQ3184736

Luís Monteiro

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (3)

Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum ⋮ Final Semantics for Decorated Traces ⋮ Bialgebras for structural operational semantics: an introduction

Cites Work

• Universal coalgebra: A theory of systems
• Generic Trace Semantics via Coinduction
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum