scientific article

zbMath1270.68188MaRDI QIDQ2843722

Marina Lenisa, Furio Honsell, Daniela Cancila

Publication date: 23 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104806339

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Related Items (5)

Multigames and strategies, coalgebraically ⋮ Bialgebras for structural operational semantics: an introduction ⋮ Recursive coalgebras from comonads ⋮ Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme ⋮ Generalizing Substitution

This page was built for publication: