scientific article; zbMATH DE number 3802794

From MaRDI portal

Revision as of 22:19, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:4746778

Jump to:navigation, search

zbMath0508.68012MaRDI QIDQ4746778

Manfred Broy

Publication date: 1982

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

zbMATH Keywords

communication operational semantics parallelism concurrency fixed point semantics data flow semantics term rewriting rules nondeterministic applicative programming language

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (4)

A theory for nondeterminism, parallelism, communication, and concurrency ⋮ Specification and top-down design of distributed systems ⋮ Semantics of under-determined expressions ⋮ Non-deterministic data types: Models and implementations

This page was built for publication:

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