scientific article; zbMATH DE number 1500658
From MaRDI portal
Publication:4501680
zbMath0959.08002MaRDI QIDQ4501680
Publication date: 23 April 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Partial orders, general (06A06) Applications of universal algebra in computer science (08A70) Products, amalgamated products, and other kinds of limits and colimits (08B25) Axiomatic model classes (08C10) Heterogeneous algebras (08A68)
Related Items (3)
CCS with Hennessy's merge has no finite-equational axiomatization ⋮ Algebraic and graph-theoretic properties of infiniten-posets ⋮ The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems
This page was built for publication:
