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/ |