论文信息 - Monitoring Properties of Open Environments: Monitoring Properties of Open Environments - 字舞流文

Monitoring Properties of Open Environments: Monitoring Properties of Open Environments

Jian Lü | Xiao-Xing Ma | Jian-Ping Yu | Yu Huang | Xian-Ping Tao

[1] Michel Raynal,et al. Specification and Verification of Dynamic Properties in Distributed Computations , 1995, J. Parallel Distributed Comput..