scientific article
From MaRDI portal
Publication:3745260
zbMath0606.68019MaRDI QIDQ3745260
Joost N. Kok, J. W. de Bakker, Jeffery Zucker, Ernst-Ruediger Olderog, John-Jules Ch. Meyer
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items
Applications of compactness in the Smyth powerdomain of streams ⋮ Transition systems, metric spaces and ready sets in the semantics of uniform concurrency ⋮ Designing equivalent semantic models for process creation ⋮ Metric semantics for concurrency ⋮ Free choice and contextually permitted actions ⋮ Denotational semantics of a parallel object-oriented language ⋮ Step semantics for ``true concurrency with recursion ⋮ Contractions in comparing concurrency semantics ⋮ Four domains for concurrency ⋮ Process expressions and Hoare's logic: Showing and irreconcilability of context-free recursion with Scott's induction rule ⋮ Comparative semantics for flow of control in logic programming without logic