A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
Axiomatic semantics of communicating sequential processes
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
A model and temporal proof system for networks of processes
Distributed Computing
Information Processing Letters
Trace-based network proof systems: expressiveness and completeness (concurrency)
Trace-based network proof systems: expressiveness and completeness (concurrency)
Compositionality, concurrency and partial correctness
Compositionality, concurrency and partial correctness
An axiomatic semantics of concurrent programming languages
Logics and models of concurrent systems
A Proof System for Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Predicative programming Part I
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
A really abstract concurrent model and its temporal logic
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
First-Order Dynamic Logic
Characterizing Correctness Properties of Parallel Programs Using Fixpoints
Proceedings of the 7th Colloquium on Automata, Languages and Programming
Specification-Oriented Semantics for Communicating Processes
Proceedings of the 10th Colloquium on Automata, Languages and Programming
Proceedings of the Conference on Logic of Programs
The anchored version of the temporal framework
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
A logig for the description of behaviours and properties of concurrent systems
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Now you may compose temporal logic specifications
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
| Hi-index | 0.00 |