发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

Modular encoding of synchronous and asynchronous interactions using open Petri nets

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
← 返回【学霸图书馆】主页