Communication among relations

DOI10.1007/BFB0032040MaRDI QIDQ4038700zbMATH OpenFDO

Authors Alexander Rabinovich, B. A. Trakhtenbrot

Publication date 18 May 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0032040

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
• Non modularity and expressibility for nets of relations (extended abstract)
• 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: Communication among relations

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