Title: | detection of a set of states in distributed systems |
Author: | Huang Hongtao
|
Source: | Proceedings - Asia-Pacific Software Engineering Conference, APSEC
|
Conference Name: | 15th Asia-Pacific Software Engineering Conference
|
Conference Date: | DEC 02-05,
|
Issued Date: | 2008
|
Conference Place: | Beijing, PEOPLES R CHINA
|
Keyword: | disjunctive normal form
; distributed system debugging
; distributed system testing
; predicate detection
; state space detection
; distributed processing
; program debugging
; program testing
|
Publisher: | APSEC 2008:15TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS
|
Publish Place: | 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
|
ISSN: | 1530-1362
|
ISBN: | 978-0-7695-3446-6
|
Department: | Huang, Hongtao Chinese Acad Sci, State Key Lab Comp Sci, Inst Software, Beijing 100190, Peoples R China.
|
Sponsorship: | Natl Nat Sci Fdn China, Chinese Acad Sci, Inst Software
|
English Abstract: | This paper discusses detection of a set of states in Definitely modality in a distributed system, which means determining whether all paths from the initial state to the final state in the state space of the distributed computation pass throug |
Content Type: | 会议论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/10610
|
Appears in Collections: | 计算机科学国家重点实验室 _会议论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
04724558.pdf(242KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
Huang Hongtao. detection of a set of states in distributed systems[C]. 见:15th Asia-Pacific Software Engineering Conference. Beijing, PEOPLES R CHINA. DEC 02-05,.
|
|
|