A menagerie of non-finitely based process semantics over BPA* – from ready simulation to completed traces

DOI10.1017/S0960129597002491zbMath0917.68138MaRDI QIDQ4236208

Luca Aceto, Anna Ingólfsdóttir, W. J. Fokkink

Publication date: 22 March 1999

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

zbMATH Keywords

basic process algebra

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Bisimilarity is not finitely based over BPA with interrupt, Nested semantics over finite trees are equationally hard, Axiomatizations for the perpetual loop in process algebra, Nonaxiomatisability of equivalences over finite state processes, The equational logic of fixed points, Non-finite axiomatisability results via reductions: CSP parallel composition and CCS restriction, Non-regular iterators in process algebra, A complete equational axiomatization for MPA with string iteration, On a question of A. Salomaa The equational theory of regular expressions over a singleton alphabet is not finitely based, Language preorder as a precongruence, The max-plus algebra of the natural numbers has no finite equational basis