scientific article

From MaRDI portal

Revision as of 06:44, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3657416

Jump to:navigation, search

zbMath0512.68021MaRDI QIDQ3657416

Manfred Broy, Martin Wirsing

Publication date: 1983

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

zbMATH Keywords

operational semantics virtual process mathematical semantics for closed communicating systems

Mathematics Subject Classification ID

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

Related Items (4)

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3657416&oldid=17118241"