Stem cspz$ (all stems)
2 papers:
IFM-2004-FariasMS #abstraction #performance- Efficient CSPZ Data Abstraction (AF, AM, AS), pp. 108–127.
FME-2002-MotaBS #abstraction #process- Mechanical Abstraction of CSPZ Processes (AM, PB, AS), pp. 163–183.
IFM-2004-FariasMS #abstraction #performance
FME-2002-MotaBS #abstraction #process