Information flow in systems with schedulers, Part II: Refinement
van der Meyden, Ron; Zhang, Chenyi
- 期刊名称Theoretical Computer Science
- 作者van der Meyden, Ron; Zhang, Chenyi
- 卷第484卷
- 印刷ISSN0304-3975
- 文件大小730.72KB
- 发表时间2013-5
- DOI10.1016/j.tcs.2013.01.002
- 页码70-92