This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Automated Analysis of Discrete Communication Behavior
October 1987 (vol. 13 no. 10)
pp. 1115-1126
K. Rea, Bell Northern Research, 3 Place du Commerce
An objective methodology for the specification and analysis of communicating processes is presented. It is based on an algebraic theory that is a formalization of a particular state machine model. The approach recognizes the fact that the complexity of system interactions is such that computer aid is not only appropriate but necessary for any practical design methodology.
Index Terms:
verification, Algebraic models, analysis, communicating processes, communication protocols, concurrent process specification, distributed systems
Citation:
K. Rea, R. De B. Johnston, "Automated Analysis of Discrete Communication Behavior," IEEE Transactions on Software Engineering, vol. 13, no. 10, pp. 1115-1126, Oct. 1987, doi:10.1109/TSE.1987.232853
Usage of this product signifies your acceptance of the Terms of Use.