Parallel program design: a foundation
Parallel program design: a foundation
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Theoretical Computer Science
An old-fashioned recipe for real time
ACM Transactions on Programming Languages and Systems (TOPLAS)
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
Verifying clocked transition systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Theoretical Computer Science
Distributed Algorithms
Formal Verification of the MCS List-Based Queuing Lock
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Verifying Design with Proof Scores
Verified Software: Theories, Tools, Experiments
Fostering proof scores in CafeOBJ
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Hi-index | 0.00 |