scientific article

zbMath0774.68039MaRDI QIDQ4038732

Faron Moller

Publication date: 18 May 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

process algebraequational theorycombinators for concurrent executionequational axiomatisationsleft merge operator

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Equational classes, universal algebra in model theory (03C05)

Related Items

Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? ⋮ Bisimilarity is not finitely based over BPA with interrupt ⋮ Nested semantics over finite trees are equationally hard ⋮ Unique parallel decomposition in branching and weak bisimulation semantics ⋮ On the axiomatisability of priority. III: Priority strikes again ⋮ An axiomatic semantics for the synchronous language Gentzen. ⋮ Non-finite axiomatisability results via reductions: CSP parallel composition and CCS restriction ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A Context-Free Process as a Pushdown Automaton ⋮ A ground-complete axiomatization of stateless bisimilarity over Linda ⋮ The fork calculus ⋮ Structural operational semantics for weak bisimulations ⋮ Rule formats for distributivity ⋮ A Basic Parallel Process as a Parallel Pushdown Automaton ⋮ CCS with Hennessy's merge has no finite-equational axiomatization ⋮ Lifting non-finite axiomatizability results to extensions of process algebras ⋮ Unnamed Item ⋮ Decomposition orders -- another generalisation of the fundamental theorem of arithmetic ⋮ An axiomatic semantics for Esterel ⋮ The semantics of the combination of atomized statements and parallel choice ⋮ Finite axiom systems for testing preorder and De Simone process languages ⋮ The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems