Cited By
View all- Moffat NGoldsmith M(2008)Assumption---Commitment Support for CSP Model CheckingJournal of Automated Reasoning10.1007/s10817-008-9111-841:3-4(365-398)Online publication date: 1-Nov-2008
- Moffat NGoldsmith M(2007)Assumption-Commitment Support for CSP Model CheckingElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2007.05.033185(121-137)Online publication date: 1-Jul-2007
- Yong Sun Hongji Yang (1995)Communication mechanism independent protocol specification based on CSP: a case studyProceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies10.1109/EURMIC.1996.546395(303-310)Online publication date: 1995