Translating CSP Specifications to Equivalent Petri Nets.

Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit

Browse the full PDPTA paper archive.