scientific article

zbMath0512.68024MaRDI QIDQ3657421

Manfred Broy

Publication date: 1983

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

zbMATH Keywords

concurrent programsoperational semanticsparallelismnondeterminismmultiprogrammingcommunicating systemsrewriting rulesmutually recursive systems of nondeterministic equationsapplicative languagemathematical semanticscomplete partial orderingsdata driven data flow semantics

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items

Structured algebraic specifications: A kernel language, Merging regular processes by means of fixed-point theory, Specification and top-down design of distributed systems, Infinite streams and finite observations in the semantics of uniform concurrency, Applications of compactness in the Smyth powerdomain of streams, Designing equivalent semantic models for process creation, Towards a complete hierarchy of compositional dataflow models, The expressive power of indeterminate dataflow primitives, On denotational versus predicative semantics, Denotational semantics of communicating processes based on a language for applicative multiprogramming, On the Herbrand-Kleene universe for nondeterministic computations, Nonexpressibility of fairness and signaling