A synchronous concurrent refinement algebra is extended with a new localisation operator that defines local variable blocks and supports proofs of its interaction with rely and guarantee conditions.
Cylindric Algebras, Part I., volume 64 of Studies in logic and the foundations of mathematics
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Handling localisation in rely/guarantee concurrency: An algebraic approach
A synchronous concurrent refinement algebra is extended with a new localisation operator that defines local variable blocks and supports proofs of its interaction with rely and guarantee conditions.