Published in Volume XI, 2002, pages 46-68
Authors: Traian MUNTEAN
Bibtex
@article{sacscuza:muntean2002cccs, title={Constructing Correct Communicating Systems}, author={Traian MUNTEAN}, journal={Scientific Annals of Computer Science}, volume={11}, organization={``A.I. Cuza'' University, Iasi, Romania}, year={2002}, pages={46--68}, publisher={``A.I. Cuza'' University Press} }