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)

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

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)