Department of Information Management, National Taiwan UniversityJonsson, BengtBengtJonssonTsay, Yih-KuenYih-KuenTsay2006-11-142018-06-292006-11-142018-06-291996http://www.scopus.com/inward/record.url?eid=2-s2.0-0030260192&partnerID=MN8TOARShttp://ntur.lib.ntu.edu.tw//handle/246246/2006111501244225http://ntur.lib.ntu.edu.tw/bitstream/246246/2006111501244225/1/10001.pdfAn assumption/guarantee specification of a system consists of an assumption part, which specifies the assumptions on the behavior of the environment, & a guarantee part, which specifies the properties guaranteed by the system if the environment obeys the assumptions. A suitable interpretation of an assumption/guarantee specification was essentially formulated by Misra & Chandy (1981). The interpretation was later extended by others to allow liveness properties in the guarantee part.application/pdf1993232 bytesapplication/pdfzh-TWother10.1016/0304-3975(96)00069-22-s2.0-0030260192http://ntur.lib.ntu.edu.tw/bitstream/246246/2006111501244225/1/10001.pdf