Modular encoding of synchronous and asynchronous interactions using open Petri nets ?
A Petri net encoding for process calculi and their operational/behavioural semantics A formal assessment and comparison of synchronous and asynchronous interaction paradigms A methodology for the sound transfer of tools and techniques between Petri nets and process calculi
synchronous and asynchronous interaction open petri nets asynchronous ccs csp net encoding of processes