scientific article

zbMath0512.68021MaRDI QIDQ3657416

Manfred Broy, Martin Wirsing

Publication date: 1983

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

zbMATH Keywords

operational semanticsvirtual processmathematical semantics for closed communicating systems

Mathematics Subject Classification ID

Data structures (68P05) Theory of operating systems (68N25)

Related Items

Partial abstract types, Unnamed Item, Free objects and equational deduction for partial conditional specifications, Denotational semantics of communicating processes based on a language for applicative multiprogramming