scientific article; zbMATH DE number 1500658

zbMATH Open0959.08002MaRDI QIDQ4501680FDOQ4501680

Authors: Satoshi Okawa, Zoltán Ésik 

Publication date: 23 April 2001

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

semanticsfree algebrafinitely generated varietymultisorted algebra

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)

Cited In (3)

• Algebraic and graph-theoretic properties of infiniten-posets
• 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:

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