Petri Nets and Algebraic Calculi of Processes.

Grard Boudol, Grard Roucairol, Robert de Simone

Browse the full STACS paper archive.