Graph Generation to Statically Represent CSP Processes.

Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit

Browse the full LOPSTR paper archive.