zbMATH — the first resource for mathematics

Contrasting themes in the semantics of imperative concurrency. (English) Zbl 0606.68019
Current trends in concurrency, overviews and tutorials, Lect. Notes Comput. Sci. 224, 51-121 (1986).
[For the entire collection see Zbl 0587.00018.]
The authors analyse in detail the connection between fundamental notions in concurrency and mathematical models for these notions, together with the tools for providing a satisfactory formal semantics. The existing approaches are revealed in a comparative manner: imperative vs. applicative concurrency; uniform vs. nonuniform languages; operational vs. denotational semantics (metric vs. order-theoretic models; naive- order vs. reversed set inclusion; linear vs. branching-time semantics); local (internal) vs. global (external) nondeterminism; infinite vs. finite objects; guarded vs. unguarded recursion. To illustrate these aspects four languages are introduced, for which formal syntax and semantics are given. Further developments are suggested.
Reviewer: C.Masalagiu

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