scientific article
From MaRDI portal
Publication:3681910
zbMath0566.68019MaRDI QIDQ3681910
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
fixed point theoryconcurrent programsoperational semanticsprogram correctnesscommunicating agentsconcurrent agentslabelled rewriting systems
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items (2)
Applications of compactness in the Smyth powerdomain of streams ⋮ On denotational versus predicative semantics
This page was built for publication: