Computability
Trace-based network proof systems: expressiveness and completeness (concurrency)
Trace-based network proof systems: expressiveness and completeness (concurrency)
Parallel program design: a foundation
Parallel program design: a foundation
Compositionality, concurrency and partial correctness
Compositionality, concurrency and partial correctness
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
A Discipline of Programming
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
Transition logic: How to reason about temporal properties in a compositional way
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Now you may compose temporal logic specifications
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Models and languages for parallel computation
ACM Computing Surveys (CSUR)
A Mechanization of Unity in PC-NQTHM-92
Journal of Automated Reasoning
Towards a model of storage jamming
CSFW '96 Proceedings of the 9th IEEE workshop on Computer Security Foundations
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
| Hi-index | 0.01 |