The top documents tagged [partial behavioral models]

Analysis of Concurrent Software Models Using Partial Order Views

Analysis of Concurrent Software Models Using Partial Order Views

23 views
Analysis of Concurrent Software Models Using Partial Order Views Qiang Sun, sun-qiang@sjtu.edu.cnsun-qiang@sjtu.edu.cn Yuting Chen, chenyt@cs.sjtu.edu.cnchenyt@cs.sjtu.edu.cn.

Analysis of Concurrent Software Models Using Partial Order Views Qiang Sun, [email protected]@sjtu.edu.cn Yuting Chen, [email protected]@cs.sjtu.edu.cn.

222 views
Languages
Pages
Legal

Copyright © 2022 FDOCUMENTS