{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T15:19:09Z","timestamp":1772205549753,"version":"3.50.1"},"reference-count":26,"publisher":"World Scientific Pub Co Pte Lt","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2013,6]]},"abstract":"<jats:p>We investigate assume-guarantee reasoning for global specifications consisting of conjunctions of local specifications. We present a sound and complete assume-guarantee methodology that enables us to establish properties of a composite system by checking local specifications of its individual modules. We illustrate our approach with an example from the field of network congestion control, where different agents are responsible for controlling packet flow across a shared infrastructure. In this context we derive an assume-guarantee system for network stability and show its efficiency to reason about any number of agents, any initial flow configuration, and any topology of bounded degree.<\/jats:p>","DOI":"10.1142\/s0129054113500123","type":"journal-article","created":{"date-parts":[[2013,8,2]],"date-time":"2013-08-02T08:04:30Z","timestamp":1375430670000},"page":"419-444","source":"Crossref","is-referenced-by-count":5,"title":["ASSUME-GUARANTEE REASONING WITH LOCAL SPECIFICATIONS"],"prefix":"10.1142","volume":"24","author":[{"given":"ALESSIO","family":"LOMUSCIO","sequence":"first","affiliation":[{"name":"Department of Computing, Imperial College London, 180 Queen's Gate London SW7 2AZ, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"BEN","family":"STRULO","sequence":"additional","affiliation":[{"name":"BT Innovate, Adastral Park, Martlesham Heath Ipswich IP5 3RE, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"NIGEL","family":"WALKER","sequence":"additional","affiliation":[{"name":"BT Innovate, Adastral Park, Martlesham Heath Ipswich IP5 3RE, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"PENG","family":"WU","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences, P. O. Box 8718, Beijing 100190, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2013,8,2]]},"reference":[{"key":"p_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1981.230844"},{"key":"p_2","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177725"},{"key":"p_3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49213-5_4"},{"key":"p_4","first-page":"3","author":"Giannakopoulou C. S.","year":"2002","journal-title":"IEEE Computer Society"},{"key":"p_5","first-page":"14","author":"Barringer D.","year":"2003","journal-title":"Finland"},{"key":"p_6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36577-X_24"},{"key":"p_7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_2"},{"key":"p_8","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0028765"},{"key":"p_9","doi-asserted-by":"publisher","DOI":"10.1145\/345099.345104"},{"key":"p_10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_14"},{"key":"p_11","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-008-0049-6"},{"key":"p_12","doi-asserted-by":"publisher","DOI":"10.1145\/1064413.1064415"},{"key":"p_13","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289074"},{"key":"p_14","doi-asserted-by":"publisher","DOI":"10.1145\/69575.69577"},{"key":"p_15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36576-1_22"},{"key":"p_16","doi-asserted-by":"publisher","DOI":"10.1007\/11901914_15"},{"key":"p_17","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-008-0055-8"},{"key":"p_18","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-011-0148-1"},{"key":"p_19","doi-asserted-by":"publisher","DOI":"10.1145\/203095.201069"},{"key":"p_21","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008739929481"},{"key":"p_22","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0028774"},{"key":"p_24","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.16.311-347"},{"key":"p_28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_35"},{"key":"p_29","doi-asserted-by":"crossref","first-page":"77","DOI":"10.3233\/FI-2010-298","volume":"102","author":"Lomuscio B.","year":"2010","journal-title":"Fundamenta Informaticae"},{"key":"p_30","doi-asserted-by":"publisher","DOI":"10.1109\/90.811451"},{"key":"p_32","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45139-0_17"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054113500123","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T09:44:31Z","timestamp":1596275071000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054113500123"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":26,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2013,8,2]]},"published-print":{"date-parts":[[2013,6]]}},"alternative-id":["10.1142\/S0129054113500123"],"URL":"https:\/\/doi.org\/10.1142\/s0129054113500123","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,6]]}}}