scientific article
From MaRDI portal
Publication:4038700
zbMath0765.68110MaRDI QIDQ4038700
B. A. Trakhtenbrot, Alexander Rabinovich
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
distributed systemssynchronizationnets of functionsdata flow networksstrong conjunctionleast fixed point operatornets of processes\(F\)-domainsnets of relations
Network design and communication in computer systems (68M10) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)
Related Items (6)
On nets, algebras and modularity ⋮ Connectedness and synchronization ⋮ Turing Machines, Transition Systems, and Interaction ⋮ Turing machines, transition systems, and interaction ⋮ From Logic to Theoretical Computer Science – An Update ⋮ Event Structure Spans for Nondeterministic Dataflow
This page was built for publication:
