Automated Analysis of Discrete Communication Behavior

1 October 1987

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering

Vol. SE-13 (10) , 1115-1126
https://doi.org/10.1109/tse.1987.232853

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.

Keywords

COMPUTER LANGUAGES
FORMAL SPECIFICATIONS
DESIGN METHODOLOGY
CALCULUS
CARBON CAPTURE AND STORAGE
ALGEBRA
APPLICATION SOFTWARE
PROTOCOLS
DISTRIBUTED COMPUTING
LOCAL AREA NETWORKS

This publication has 0 references indexed in Scilit: