Adequate proof principles for invariance and liveness properties of concurrent programs
Science of Computer Programming
Decision procedures and expressiveness in the temporal logic of branching time
Journal of Computer and System Sciences
Distributed systems: methods and tools for specification. An advanced course
Distributed systems: methods and tools for specification. An advanced course
“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Fairness
Reasoning about fair concurrent programs
STOC '86 Proceedings of the eighteenth annual ACM symposium on Theory of computing
Modeling concurrency with partial orders
International Journal of Parallel Programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Appraising fairness in distributed languages
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
What it means for a concurrent program to satisfy a specification: why no one has specified priority
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Modalities for model checking (extended abstract): branching time strikes back
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Proof System for Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Communicating sequential processes
Communications of the ACM
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
Impartiality, Justice and Fairness: The Ethics of Concurrent Termination
Proceedings of the 8th Colloquium on Automata, Languages and Programming
Proceedings of the 11th Colloquium on Automata, Languages and Programming
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
A temporal logic for reasoning about partially ordered computations (Extended Abstract)
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Decidability and expressiveness of logics of processes
Decidability and expressiveness of logics of processes
Understanding and verifying distributed algorithms using stratified decomposition
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
Multiparty Interactions for Interprocess Communication and Synchronization
IEEE Transactions on Software Engineering
Automated Analysis of Concurrent Systems with the Constrained Expression Toolset
IEEE Transactions on Software Engineering
On reasoning with the global time assumption
ACM Letters on Programming Languages and Systems (LOPLAS)
Compositional Transformational Design for Concurrent Programs
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Verification of distributed programs using representative interleaving sequences
Distributed Computing
AXIOMATIZATIONS OF TEMPORAL LOGICS ON TRACE SYSTEMS
Fundamenta Informaticae
| Hi-index | 0.01 |