scientific article; zbMATH DE number 3808940

MaRDI QIDQ3657421zbMATH OpenFDO

Authors Manfred Broy

Publication date 1983

zbMATH Keywords

nondeterminismparallelismoperational semanticsmultiprogrammingcommunicating systemsconcurrent programsrewriting rulesapplicative languagemutually recursive systems of nondeterministic equationsmathematical semanticscomplete partial orderingsdata driven data flow semantics

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cited in

(12)

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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3657421)