Describing and analyzing distributed software system designs-Reference-Cited by-同舟云学术

Describing and analyzing distributed software system designs

Published:1985-07 Issue:3 Volume:7 Page:380-403
ISSN:0164-0925
Container-title:ACM Transactions on Programming Languages and Systems
language:en
Short-container-title:ACM Trans. Program. Lang. Syst.

Author:

Avrunin George S.¹,Wileden Jack C.¹

Affiliation:

1. Univ. of Massachusetts, Amherst

Abstract

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.

Publisher

Association for Computing Machinery (ACM)

Subject

Software

Link

https://dl.acm.org/doi/pdf/10.1145/3916.3989

Reference35 articles.

1. A Proof System for Communicating Sequential Processes

2. High-level debugging of distributed systems: The behavioral abstraction approach

3. Distributed processes

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Behavior relativity of Petri nets;Journal of Computer Science and Technology;2002-11

2. An application of Petri net reduction for Ada tasking deadlock analysis;IEEE Transactions on Parallel and Distributed Systems;1996

3. Real-time software methodologies: Are they suitable for developing Manufacturing control software?;International Journal of Flexible Manufacturing Systems;1993-06

4. Automated analysis of concurrent systems with the constrained expression toolset;IEEE Transactions on Software Engineering;1991

5. Key references in distributed computer systems 1959–1989;Distributed Computer Systems;1990