Modular encoding of synchronous and asynchronous interactions using open Petri nets
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
- 期刊名称Science of Computer Programming
- 作者Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
- 卷第109卷
- 印刷ISSN0167-6423
- 文件大小599.44KB
- 发表时间2015-10
- DOI10.1016/j.scico.2014.11.019
- 页码96-124