scientific article; zbMATH DE number 177822

MaRDI QIDQ4038700zbMATH OpenFDO

Authors Alexander Rabinovich, B. A. Trakhtenbrot

Publication date 18 May 1993

zbMATH Keywords

\(F\)-domainsdata flow networksdistributed systemsleast fixed point operatornets of functionsnets of processesnets of relationsstrong conjunctionsynchronization

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 4180816
• scientific article; zbMATH DE number 4119609
• Interpreted nets
• Connectedness and synchronization
• Compositional relational semantics for indeterminate dataflow networks

Cited in

(12)

• Modularity and expressibility for nets of relations
• Connectedness and synchronization
• Communication across viewpoints
• Communication via intermediaries
• scientific article; zbMATH DE number 1678384 (Why is no real title available?)
• Event structure spans for nondeterministic dataflow
• scientific article; zbMATH DE number 4180816 (Why is no real title available?)
• scientific article; zbMATH DE number 4119609 (Why is no real title available?)
• Turing machines, transition systems, and interaction
• On nets, algebras and modularity
• From Logic to Theoretical Computer Science – An Update
• Turing machines, transition systems, and interaction

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 Q4038700)