Abstract Patterns of Compositional Reasoning
01 January 2003
In this paper we address the question of designing complete assume-guarantee methods. We construct an abstract framework for reasoning about process composition, formulate an assume-guarantee method, and show it to be sound and semantically complete, all in the abstract setting.