A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM
Some Properties of Predicate Transformers
Journal of the ACM (JACM)
A New Approach to Proving the Correctness of Multiprocess Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Proof System for Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
An optimal algorithm for mutual exclusion in computer networks
Communications of the ACM
High level programming for distributed computing
Communications of the ACM
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Distributed processes: a concurrent programming concept
Communications of the ACM
Verifying properties of parallel programs: an axiomatic approach
Communications of the ACM
A new solution of Dijkstra's concurrent programming problem
Communications of the ACM
Synchronization of communicating processes
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
The Temporal Semantics of Concurrent Programs
Proceedings of the International Sympoisum on Semantics of Concurrent Computation
Specifying and proving properties of sentinel processes
ICSE '81 Proceedings of the 5th international conference on Software engineering
ICSE '79 Proceedings of the 4th international conference on Software engineering
Primitives for distributed computing
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
DREAM - an approach to designing large scale, concurrent software systems
ACM '79 Proceedings of the 1979 annual conference
Analysis of distributed systems using constrained expressions (concurrent systems)
Analysis of distributed systems using constrained expressions (concurrent systems)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software process modeling: a behavioral approach
ICSE '88 Proceedings of the 10th international conference on Software engineering
An operational requirement description model for open systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
Experiments in automated analysis of concurrent software systems
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Automated Analysis of Concurrent Systems with the Constrained Expression Toolset
IEEE Transactions on Software Engineering
An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis
IEEE Transactions on Parallel and Distributed Systems
Automatic detection of errors in distributed systems
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Design and Implementation of a Petri Net Based Toolkit for Ada Tasking Analysis
IEEE Transactions on Parallel and Distributed Systems
Behavior relativity of Petri nets
Journal of Computer Science and Technology
| Hi-index | 0.01 |
In this paper we outline an approach to describing and analyzing designs for distributed software systems. A descriptive notation is introduced, and analysis techniques applicable to designs expressed in that notation are presented. The usefulness of the approach is illustrated by applying it to a realistic distributed software-system design problem involving mutual exclusion in a computer network.