scientific article; zbMATH DE number 1500658

MaRDI QIDQ4501680zbMATH OpenFDO

Authors Satoshi Okawa, Zoltán Ésik

Publication date 23 April 2001

zbMATH Keywords

finitely generated varietyfree algebramultisorted algebrasemantics

Mathematics Subject Classification ID

Partial orders, general (06A06) Heterogeneous algebras (08A68) Applications of universal algebra in computer science (08A70) Products, amalgamated products, and other kinds of limits and colimits (08B25) Axiomatic model classes (08C10)

Recommendations

• Algebra and theory of order-deterministic pomsets
• Varieties generated by languages with poset operations
• The equational theory of pomsets

Cited in

(6)

• CCS with Hennessy's merge has no finite-equational axiomatization
• Varieties generated by languages with poset operations
• Algebraic and graph-theoretic properties of infiniten-posets
• Equational Theories of Scattered and Countable Series-Parallel Posets
• Generating Posets Beyond N
• The quest for equational axiomatizations of parallel composition: status and open problems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4501680)