A Partial Order Event Model for Concurrent Objects
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Extending Memory Consistency of Finite Prefixes to Infinite Computations
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Faithful Translations among Models and Specifications
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Mechanizing Proofs of Computation Equivalence
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
A Framework for Translating Models and Specifications
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
A Mechanized Proof Environment for the Convenient Computations Proof Method
Formal Methods in System Design
Hi-index | 0.00 |