DMCA
Treewidth in Verification: Local vs. Global (2005)
Cached
Download Links
- [www.cs.rice.edu]
- [www.cs.rice.edu]
- [www.cs.rice.edu]
- DBLP
Other Repositories/Bibliography
by
Andrea Ferrara
,
Guoqiang Pan
,
Moshe Y. Vardi
| Venue: | In LPAR 2005 |
| Citations: | 13 - 3 self |
BibTeX
@INPROCEEDINGS{Ferrara05treewidthin,
author = {Andrea Ferrara and Guoqiang Pan and Moshe Y. Vardi},
title = {Treewidth in Verification: Local vs. Global},
booktitle = {In LPAR 2005},
year = {2005},
pages = {489--503}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
this paper concurrent transition systems, where communication between concurrent components is modeled explicitly. Assuming boundedness of the treewidth of the communication graph, which we refer to as local treewidth, is reasonable, since the topology of communication in concurrent systems is often constrained physically
