|
|||||
|
|
Compositionality Through an Operational Semantics of Contexts |
|
| Authors: | LARSEN, KIM G. XINXIN, LIU |
| Affiliation: | Aalborg University, Department of Mathematics and Computer Science Fredrik Bajersvej 7, 9220 Aalborg |
| Abstract: | |
| Keywords: | Concurrent systems verification compositionality Hennessy-Milner logic with recursion weakest property transformer |
| 本文献已被 Oxford 等数据库收录！ | |