Algebraic techniques for the analysis of concurrent systems (software development)
George S. Avrunin, Jack C. Wileden · OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information) · 1983
Algebraic techniques have been developed for the analysis of certain special classes of concurrent systems based on a description of the systems in a suitable modelling scheme. Both the modelling scheme and these analytic techniques have been specifically tailored for use in the design phase of concurrent software system development. The modelling scheme and analytic techniques are described and an illustrative example is given. 22 references.