Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Verifying temporal properties without temporal logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
A lattice-structured proof of a minimum spanning
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
Adding liveness properties to coupled finite-state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Temporal Logic-Based Deadlock Analysis for Ada
IEEE Transactions on Software Engineering
An Efficient Implementation of Boolean Functions as Self-Timed Circuits
IEEE Transactions on Computers
Proving specifications of tasking systems using Ada/TL
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Checking that finite state concurrent programs satisfy their linear specification
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Proving temporal properties of hybrid systems
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Executing specifications of distributed computations with Chronolog(MC)
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
The ``Hoare Logic'' of CSP, and All That
ACM Transactions on Programming Languages and Systems (TOPLAS)
How to cook a temporal proof system for your pet language
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Some Considerations on Branching Areas of Time
Journal of Logic, Language and Information
Handbook of automated reasoning
Temporal verification of carrier-sense local area network protocols
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Verification of multiprocess probabilistic protocols
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
On the extremely fair treatment of probabilistic algorithms
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
On-line algorithms for networks of temporal constraints
Journal of Discrete Algorithms
Verification of distributed programs using representative interleaving sequences
Distributed Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.01 |