scientific article
From MaRDI portal
Publication:3707426
zbMath0584.68085MaRDI QIDQ3707426
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
denotational semanticsleast fixed pointcpocomplete partial orderparallel programming languagescategory of treessynchronisation algebra
Partial orders, general (06A06) Trees (05C05) Semantics in the theory of computing (68Q55) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Algebraic structures (08A99)
Related Items
Petri nets, algebras, morphisms, and compositionality ⋮ A compositional proof system on a category of labelled transition systems ⋮ Retracing some paths in process algebra ⋮ Un modèle asynchrone pour les systèmes distribués. (An asynchronous model of distributed systems)
