Compositional abstraction ofCSPZ processes

Adalberto Farias,A. Mota,A. Sampaio
DOI: https://doi.org/10.1007/BF03192557
2008-06-01
Journal of the Brazilian Computer Society
Abstract:
What problem does this paper attempt to address?