scientific article
From MaRDI portal
Publication:3353234
zbMath0729.18005MaRDI QIDQ3353234
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algebraically closed theoryaxiomatization of the notion of fixed point calculus within the formalism of algebraic theoriesinfinitary behaviours for CCS-like communicating processes
Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10)