Antti Tapani Siirtola, Stavros Tripakis, Keijo Heljanko. When Do We (Not) Need Complex Assume-Guarantee Rules?. In 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015. pages 30-39, IEEE Computer Society, 2015. [doi]
Abstract is missing.