PC-Rimst - a tool for validating concurrent program designs
- 31 August 1988
- journal article
- Published by Elsevier in Microprocessing and Microprogramming
- Vol. 24 (1-5) , 809-818
- https://doi.org/10.1016/0165-6074(88)90154-8
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Reachability analysis -based validation of embedded systemsMicroprocessing and Microprogramming, 1987
- Exposure to deadlock for communicating processes is hard to detectInformation Processing Letters, 1985