Stuck-Free Conformance
暂无分享,去创建一个
C. A. R. Hoare | Jakob Rehof | Cédric Fournet | Sriram K. Rajamani | C. Fournet | S. Rajamani | C. Hoare | J. Rehof | T. Hoare
[1] Robin Milner,et al. Communicating and mobile systems - the Pi-calculus , 1999 .
[2] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[3] Kim G. Larsen,et al. Bisimulation through Probabilistic Testing , 1991, Inf. Comput..
[4] Andrew William Roscoe,et al. The Theory and Practice of Concurrency , 1997 .
[5] Thomas A. Henzinger,et al. Interface Theories for Component-Based Design , 2001, EMSOFT.
[6] A. W. Heerink,et al. Developments in Testing Transition Systems , 1997 .
[7] S. Purushothaman Iyer,et al. Towards dataflow analysis of communicating finite state machines , 1989, PODC '89.
[8] Thomas A. Henzinger,et al. Alternating Refinement Relations , 1998, CONCUR.
[9] Jakob Rehof,et al. Stuck-Free Conformance Theory for CCS , 2004 .
[10] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[11] Kim G. Larsen,et al. Bisimulation through probabilistic testing (preliminary report) , 1989, POPL '89.
[12] Jakob Rehof,et al. Conformance Checking for Models of Asynchronous Message Passing Software , 2002, CAV.
[13] Iain Phillips,et al. Refusal Testing , 1986, Theoretical Computer Science.
[14] C. A. R. Hoare,et al. A Theory of Communicating Sequential Processes , 1984, JACM.
[15] Davide Sangiorgi,et al. Communicating and Mobile Systems: the π-calculus, , 2000 .