https://scholars.lib.ntu.edu.tw/handle/123456789/105350
標題: | Assumption/guarantee specifications in linear-time temporal logic | 作者: | Jonsson, Bengt Tsay, Yih-Kuen |
公開日期: | 1996 | 卷: | 167 | 期: | 1-2 | 起(迄)頁: | 47-72 | 來源出版物: | Theoretical Computer Science | 摘要: | An 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. |
URI: | http://www.scopus.com/inward/record.url?eid=2-s2.0-0030260192&partnerID=MN8TOARS http://ntur.lib.ntu.edu.tw//handle/246246/2006111501244225 http://ntur.lib.ntu.edu.tw/bitstream/246246/2006111501244225/1/10001.pdf |
其他識別: | 246246/2006111501244225 | DOI: | 10.1016/0304-3975(96)00069-2 |
顯示於: | 資訊管理學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。