scientific article
From MaRDI portal
Publication:3359774
zbMath0733.68054MaRDI QIDQ3359774
Hans Henrik Loevengreen, Peter Grønning, Thomas Qvist Nielsen
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
safety propertiescompositional verificationspecification and verification of concurrent systemsshared variablesrely-guarantee specification
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
Application of the composition principle to unity-like specifications ⋮ Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency ⋮ Assumption/guarantee specifications in linear-time temporal logic (extended abstract) ⋮ Assumption/guarantee specifications in linear-time temporal logic
This page was built for publication:
