The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.10 - October (1987 vol.13)
pp: 1115-1126
K. Rea , Bell Northern Research, 3 Place du Commerce
ABSTRACT
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, "Automated Analysis of Discrete Communication Behavior", IEEE Transactions on Software Engineering, vol.13, no. 10, pp. 1115-1126, October 1987, doi:10.1109/TSE.1987.232853
20 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool