scientific article
From MaRDI portal
Publication:3951525
zbMath0489.68016MaRDI QIDQ3951525
Jan A. Bergstra, Jan Willem Klop
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
Merging regular processes by means of fixed-point theory ⋮ Bisimilarity is not finitely based over BPA with interrupt ⋮ Nested semantics over finite trees are equationally hard ⋮ Timing and causality in process algebra ⋮ Rule formats for distributivity ⋮ Derivation tree analysis for accelerated fixed-point computation ⋮ A note on an expressiveness hierarchy for multi-exit iteration ⋮ The max-plus algebra of the natural numbers has no finite equational basis
This page was built for publication:
