On Unifying Assumption { Commitment

Abstract

Assumption{Commitment paradigms for speciication and veriication of concurrent programs have been proposed in the past. We show that two typical parallel composition rules for shared variable and message passing programs 8, 12] which hitherto required diierent formulations are instances of one general rule mainly inspired by Abadi & Lamport's composition… (More)

Topics

Cite this paper

@inproceedings{Xu1994OnUA, title={On Unifying Assumption \{ Commitment}, author={Qiwen Xu and Antonio Cau and Pierre Collette}, year={1994} }