Publication:3951525
From MaRDI portal
zbMath0489.68016MaRDI QIDQ3951525
Jan A. Bergstra, Jan Willem Klop
Publication date: 1982
68P05: Data structures
Related Items
Derivation tree analysis for accelerated fixed-point computation, Nested semantics over finite trees are equationally hard, Bisimilarity is not finitely based over BPA with interrupt, A note on an expressiveness hierarchy for multi-exit iteration, Merging regular processes by means of fixed-point theory, Rule formats for distributivity, The max-plus algebra of the natural numbers has no finite equational basis, Timing and causality in process algebra