scientific article

zbMath1276.68123MaRDI QIDQ2863897

Lingyun Luo

Publication date: 4 December 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106004725?np=y

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

zbMATH Keywords

consistencycoalgebrabisimulation

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Enhanced coalgebraic bisimulation ⋮ A general account of coinduction up-to

This page was built for publication: