A CCS-based investigation of deadlock in a multi-process electronic mail system-Reference-Cited by-同舟云学术

A CCS-based investigation of deadlock in a multi-process electronic mail system

Published:1993-09 Issue:5 Volume:5 Page:467-479
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Brebner Gordon¹

Affiliation:

1. Department of Computer Science, University of Edinburgh, James Clerk Maxwell Building, Mayfield Road, EH9 3JZ, Edinburgh, UK

Abstract

Abstract The networking software for a VAX/VMS computer system had been implemented as a collection of communicating processes. One night, an unusually high load on the electronic mail component of the software caused deadlock to occur between two of the processes. This paper describes how the deadlock was analysed by modelling the software using the Calculus of Communicating Systems (CCS) and then by investigating the behaviour of the model using the Edinburgh Concurrency Workbench (CWB). The analysis suggested how the software should be restructured to prevent the problem recurring; the new set of processes was analysed, and shown to be deadlock-free.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF01212487.pdf

Reference11 articles.

1. Process Calculi, from Theory to Practice: Verification Tools;Boudol G.;Springer-Verlag LNCS,1990

2. Boudol G.: Notes on Algebraic Calculi of Processes. In Apt (ed) Logics and Models of Concurrent Systems. Springer-Verlag 1985.

3. The Concurrency Workbench;Cleaveland R.;Springer-Verlag LNCS,1990

4. Evaluation of Tools for the Analysis of Communicating Systems;Inverardi P.;Bulletin of the EATCS,1991

5. Results on the propositional μ-calculus

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

1. Analyzing data flow diagrams by combination of formal methods and visualization techniques;Journal of Visual Languages & Computing;2018-10

2. DFDVis: A Visual Analytics System for Understanding the Semantics of Data Flow Diagram;Communications in Computer and Information Science;2017

3. Heuristic search for equivalence checking;Software & Systems Modeling;2014-05-21

4. Ant Colony Optimization for Deadlock Detection in Concurrent Systems;2011 IEEE 35th Annual Computer Software and Applications Conference;2011-07

5. DELFIN+: An efficient deadlock detection tool for CCS processes;Journal of Computer and System Sciences;2006-12