A multiset-based model of synchronizing agents: Computability and robustness
Matteo Cavaliere; Radu Mardare; Sean Sedwards
- 作者Matteo Cavaliere; Radu Mardare; Sean Sedwards
- 卷第391卷
- 期第3期
- 印刷ISSN0304-3975
- 文件大小730.91KB
- 发表时间2008
- DOI10.1016/j.tcs.2007.11.009
- 页码216-238