scientific article

zbMath1177.08003MaRDI QIDQ3626196

K. Saengsura, Klaus Denecke

Publication date: 22 May 2009

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

zbMATH Keywords

categorybisimulationlimitautomatoncolimit\(F\)-algebra\((F_1,F_2)\)-coalgebrastate-based system

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categories of machines, automata (18B20)

This page was built for publication: