scientific article; zbMATH DE number 3621123
From MaRDI portal
Publication:4184325
zbMath0399.68051MaRDI QIDQ4184325
Morten Kyng, Ole Lehrmann Madsen, Kurt Jensen
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) General systems theory (93A99) Theory of operating systems (68N25)
Related Items (1)
This page was built for publication: