Modular encoding of synchronous and asynchronous interactions using open Petri nets☆
Under an Elsevier user license
open archive
Keywords
Open Petri nets
Asynchronous CCS
CSP
Net encoding of processes
Synchronous and asynchronous interaction
Cited by (0)
- ☆
Partly supported by EU FP7-ICT IP 257414 ASCENS, MIUR PRIN 2010LHT4KM CINA, and ANR 121S02001 PACE.
Copyright © 2014 Elsevier B.V. All rights reserved.