Varieties generated by languages with poset operations

DOI10.1017/S0960129597002442zbMath0895.68080OpenAlexW2158276220MaRDI QIDQ4379683

Zoltán Ésik, Stephen L. Bloom

Publication date: 8 September 1998

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129597002442

zbMATH Keywords

\(V\)-labelled posetLang\((X)\)language \(X\)-algebras

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of universal algebra in computer science (08A70) Free algebras (08B20) Ordered structures (06F99)

Related Items (3)

Posets with interfaces as a model for concurrency ⋮ CCS with Hennessy's merge has no finite-equational axiomatization ⋮ The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems

This page was built for publication: Varieties generated by languages with poset operations