scientific article; zbMATH DE number 3802794

zbMath0508.68012MaRDI QIDQ4746778

Manfred Broy

Publication date: 1982

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

zbMATH Keywords

communicationoperational semanticsparallelismconcurrencyfixed point semanticsdata flow semanticsterm rewriting rulesnondeterministic applicative programming language

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items

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