Publication:3681910
From MaRDI portal
zbMath0566.68019MaRDI QIDQ3681910
Publication date: 1985
fixed point theory; concurrent programs; operational semantics; program correctness; communicating agents; concurrent agents; labelled rewriting systems
68Q60: Specification and verification (program logics, model checking, etc.)
68N25: Theory of operating systems
Related Items
On denotational versus predicative semantics, Applications of compactness in the Smyth powerdomain of streams