scientific article
Publication:3614493
zbMath1176.08001MaRDI QIDQ3614493
Klaus Denecke, Shelly L. Wismath
Publication date: 9 March 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
automata theoryclonebisimulationuniversal algebraBirkhoff's theoremPost's latticecoalgebra, category theory
Applications of universal algebra in computer science (08A70) Algebraic theory of languages and automata (68Q70) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Equational categories (18C05) Categories of algebras (08C05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general algebraic systems (08-01) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)
Related Items (3)
This page was built for publication: