scientific article; zbMATH DE number 3808940
From MaRDI portal
Publication:3657421
zbMATH Open0512.68024MaRDI QIDQ3657421FDOQ3657421
Publication date: 1983
Title of this publication is not available (Why is that?)
nondeterminismparallelismoperational semanticsmultiprogrammingcommunicating systemsconcurrent programsrewriting rulesapplicative languagemutually recursive systems of nondeterministic equationsmathematical semanticscomplete partial orderingsdata driven data flow semantics
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)
