Counter machines, Petri Nets, and consensual computation
Crespi Reghizzi, Stefano; San Pietro, Pierluigi
- 期刊名称Theoretical Computer Science
- 作者Crespi Reghizzi, Stefano; San Pietro, Pierluigi
- 印刷ISSN0304-3975
- 文件大小1681.60KB
- 发表时间2015-12
- DOI10.1016/j.tcs.2015.12.004