ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM
Communications of the ACM
Verifying properties of parallel programs: an axiomatic approach
Communications of the ACM
A consistent and complete deductive system for the verification of parallel programs
STOC '76 Proceedings of the eighth annual ACM symposium on Theory of computing
Proof Rules for Communicating Sequential Processes
Proof Rules for Communicating Sequential Processes
An Axiomatic Proof Technique for Networks of Communicating Processes
An Axiomatic Proof Technique for Networks of Communicating Processes
Using message passing for distributed programming: proof rules and disciplines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modeling the distributed termination convention of CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Correctness Proofs of Communicating Processes: Three Illustrative Examples From the Literature
ACM Transactions on Programming Languages and Systems (TOPLAS)
Describing and analyzing distributed software system designs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Correctness proofs of distributed termination algorithms
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
What processes know: Definitions and proof methods
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
A LOTOS Specification of the PROWAY Highway Service
IEEE Transactions on Computers
Conformity analysis for communication protocols
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Completeness and incompleteness of trace-based network proof systems
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Specifying software/hardware interactions in distributed systems
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Interleaving set temporal logic
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Specification and verification of liveness properties of cyclic, concurrent processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Process semantics: universal axioms compositional rules, and applications
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
Tentative steps toward a development method for interfering programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Predicates are predicate transformers: a unified compositional theory for concurrency
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Verifying General Safety Properties of Ada Tasking Programs
IEEE Transactions on Software Engineering
Linearizability: a correctness condition for concurrent objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using symbolic execution for verification of Ada tasking programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Specification and Verified Decomposition of System Requirements Using CSP
IEEE Transactions on Software Engineering
An exception handling model for parallel programming and its verification
SIGSOFT '91 Proceedings of the conference on Software for citical systems
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
Proving concurrent constraint programs correct
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
A comprehensive study of the complexity of multiparty interaction
Journal of the ACM (JACM)
Task dependence and termination in Ada
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proving concurrent constraint programs correct
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal Justification of a Proof System for Communicating Sequential Processes
Journal of the ACM (JACM)
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Effective Implementation for the Generalized Input-Output Construct of CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
The ``Hoare Logic'' of CSP, and All That
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel programs: proofs, principles, and practice
Communications of the ACM
Extended naming conventions for communicating processes
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Verification Framework for Agent Communication
Autonomous Agents and Multi-Agent Systems
IEEE Transactions on Software Engineering
Refining Interactions in a Distributed System
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Proof-Outlines for Threads in Java
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
The Need for Compositional Proof Systems: A Survey
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Verification for Java's Reentrant Multithreading Concept
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Verification of a methodology for designing reliable communication protocols
SIGCOMM '83 Proceedings of the eighth symposium on Data communications
Multifaceted distributed systems specification using processes and event synchronization
ICSE '84 Proceedings of the 7th international conference on Software engineering
Resource controller tasks in ADA: Their structure and semantics
ICSE '84 Proceedings of the 7th international conference on Software engineering
Proving real-time properties of programs with temporal logic
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
Dynamic systems and their distributed termination
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Understanding and using asynchronous message passing (Preliminary Version)
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Proving safety and liveness of communicating processes with examples
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Synthesis of communicating processes
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Fair termination of communicating processes
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
An axiomatization of low-level parallelism in microarchitectures
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
Now you may compose temporal logic specifications
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
On formal and informal proofs for program correctness
ACM SIGPLAN Notices
Techniques for the design of communicating processes
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
The NIL distributed systems programming language: a status report
ACM SIGPLAN Notices
Use of data abstraction in process specification
ACM SIGSOFT Software Engineering Notes
An epistemic proof system for parallel processes: extended abstract
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
A methodology for verifying request processing protocols
SIGCOMM '83 Proceedings of the symposium on Communications Architectures & Protocols
ACM SIGOPS Operating Systems Review
Safety assurance via on-line monitoring
Distributed Computing
Verifying mutual exclusion and liveness properties with split preconditions
Journal of Computer Science and Technology
Verification of distributed programs using representative interleaving sequences
Distributed Computing
A complete axiomatic semantics of spawning
Distributed Computing
Design and verification of fault tolerant systems with CSP
Distributed Computing
P-A logic: a compositional proof system for distributed programs
Distributed Computing
A brief history of process algebra
Theoretical Computer Science - Process algebra
A proof outline logic for object-oriented programming
Theoretical Computer Science - Formal methods for components and objects
An assertion-based proof system for multithreaded Java
Theoretical Computer Science - Formal methods for components and objects
Structured Specification of Communicating Systems
IEEE Transactions on Computers
A Deductive Proof System for Multithreaded Java with Exceptions
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Compositional Verification for Component-Based Systems and Application
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
A shared-variable concurrency analysis of multi-threaded object-oriented programs
Theoretical Computer Science
D-Finder: A Tool for Compositional Deadlock Detection and Verification
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Computation of equilibriain noncooperative games
Computers & Mathematics with Applications
Inductive Proof Outlines for Exceptions in Multithreaded Java
Electronic Notes in Theoretical Computer Science (ENTCS)
A sound and complete shared-variable concurrency model for multi-threaded Java programs
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Verification of object-oriented programs: A transformational approach
Journal of Computer and System Sciences
Concurrency, Compositionality, and Correctness
Reasoning about recursive processes in shared-variable concurrency
Concurrency, Compositionality, and Correctness
A proof system for a PGAS language
Concurrency, Compositionality, and Correctness
A refinement calculus for communicating processes with state
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Communication traces in the verification of distributed programs
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
A system for compositional verification of asynchronous objects
Science of Computer Programming
A Deductive Proof System for Multithreaded Java with Exceptions
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Deadlock-freedom in component systems with architectural constraints
Formal Methods in System Design
The rely/guarantee approach to verifying concurrent BPEL programs
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Formal analysis of event-driven cyber physical systems
Proceedings of the First International Conference on Security of Internet of Things
Hi-index | 0.02 |
An axiomatic proof system is presented for proving partial correctness and absence of deadlock (and failure) of communicating sequential processes. The key (meta) rule introduces cooperation between proofs, a new concept needed to deal with proofs about synchronization by message passing. CSP's new convention for distributed termination of loops is dealt with. Applications of the method involve correctness proofs for two algorithms, one for distributed partitioning of sets, the other for distributed computation of the greatest common divisor of n numbers.