scientific article; zbMATH DE number 4119609

zbMath0683.68023MaRDI QIDQ4733393

B. A. Trakhtenbrot, Alexander Rabinovich

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

synchronizationcompositionalitydenotational semanticsnondeterminismprocessesdata flow computation

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items

Towards a complete hierarchy of compositional dataflow models, The expressive power of indeterminate dataflow primitives, From Logic to Theoretical Computer Science – An Update