|
|||||
|
|
A verifiable low-level concurrent programming model based on colored Petri nets |
|
| Authors: | WANG ShengYuan DONG Yuan |
| Affiliation: | Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China |
| Abstract: | |
| Keywords: | low-level concurrent programs colored Petri nets abstract machine verification |
| 本文献已被 维普 等数据库收录！ | |