scientific article
From MaRDI portal
Publication:4038701
zbMath0766.68090MaRDI QIDQ4038701
Vasant Shanbhogue, Eugene W. Stark, Prakash Panangaden
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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
From Sequential Specifications to Eventual Consistency ⋮ Towards a complete hierarchy of compositional dataflow models ⋮ Turing Machines, Transition Systems, and Interaction ⋮ Turing machines, transition systems, and interaction ⋮ Asynchronous games. II: The true concurrency of innocence ⋮ Representation of computations in concurrent automata by dependence orders ⋮ Nonexpressibility of fairness and signaling ⋮ Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin ⋮ Directed Homotopy in Non-Positively Curved Spaces
