Progress measures and stack assertions for fair termination
PODC '92 Proceedings of the eleventh annual ACM symposium on Principles of distributed computing
An inheritance-based technique for building simulation proofs incrementally
Proceedings of the 22nd international conference on Software engineering
An inheritance-based technique for building simulation proofs incrementally
ACM Transactions on Software Engineering and Methodology (TOSEM)
A theory of normed simulations
ACM Transactions on Computational Logic (TOCL)
Taming interface specifications
CONCUR 2005 - Concurrency Theory
Completeness of ASM Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
Completeness of fair ASM refinement
Science of Computer Programming
On the refinement of liveness properties of distributed systems
Formal Methods in System Design
Monitoring off-the-shelf components
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Hi-index | 0.90 |