https://scholars.lib.ntu.edu.tw/handle/123456789/105350
Title: | Assumption/guarantee specifications in linear-time temporal logic | Authors: | Jonsson, Bengt Tsay, Yih-Kuen |
Issue Date: | 1996 | Journal Volume: | 167 | Journal Issue: | 1-2 | Start page/Pages: | 47-72 | Source: | Theoretical Computer Science | Abstract: | 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 |
Other Identifiers: | 246246/2006111501244225 | DOI: | 10.1016/0304-3975(96)00069-2 |
Appears in Collections: | 資訊管理學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.