Model Checking in Practice: The T9000 Virtual Channel Processor
IEEE Transactions on Software Engineering
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
Formal Methods in System Design
A pragmatic basis for the formal development of distributed systems
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
A Resource Analysis of the π-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |