scientific article
From MaRDI portal
Publication:3865491
zbMath0428.68068MaRDI QIDQ3865491
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories of machines, automata (18B20) Axiomatic systems theory (93A05)
Related Items
Equational Theories of Scattered and Countable Series-Parallel Posets, Logic and rational languages of scattered and countable series-parallel posets, Semantics of algorithmic languages, Unnamed Item