A Software Environment for the Specification and Analysis of Problems of Coordination and Concurrency

@article{Aggarwal1988ASE,
  title={A Software Environment for the Specification and Analysis of Problems of Coordination and Concurrency},
  author={Sudhir Aggarwal and Daniel Barbar{\'a} and Kalman Z. Meth},
  journal={IEEE Trans. Software Eng.},
  year={1988},
  volume={14},
  pages={280-290}
}
BETA