scientific article
From MaRDI portal
Publication:3685165
zbMath0568.68010MaRDI QIDQ3685165
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
operational semanticsinterferencesoundnessrelative completenessparallel programming languagepartial correctnessdeadlockparallel composition of assertionsproof system for program propertiesshared variable concurrency
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items (2)
A generalization of Owicki-Gries's Hoare logic for a concurrent while language ⋮ Toward an infinitary logic of domains: Abramsky logic for transition systems
This page was built for publication:
