An incremental approach to reachability analysis of distributed programs with synchronous communication
| Title: | An incremental approach to reachability analysis of distributed programs with synchronous communication |
| Author: | Tai, K. C. |
| Publisher: | North Carolina State University. Center for Communications and Signal Processing |
| Date: | 1992 |
| Series/Report No.: | Center for Communications and Signal Processing Technical report TR-92/20 |
| URI: |
CCSP_1992_20.pdf
http://www.lib.ncsu.edu/resolver/1840.4/1242 |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
| CCSP_1992_20.pdf | 1.069Mb |
View/ |