High-Level Petri Nets as Type Theories in the Join Calculus.

Maria Grazia Buscemi, Vladimiro Sassone

Browse the full FOSSACS paper archive.