1 |
M. C. B. Hennessy and R. Milner, 'Algebraic Laws for Non-determinism and Concurrency', J. ACM, 32(1): 137-161, Jan. 1985
DOI
ScienceOn
|
2 |
J. H. Lee, J. G. Hwang and G. T. Park, 'Performance Evaluation and Verification of Communication Protocol for Railway Signalling Systems', Computer Standards & Interfaces in Elsevier, Vol. 27, pp. 205-219, Feb. 2005
|
3 |
R. Milner, Communication and Concurrency, Prentice Hall International, 1989
|
4 |
R. Cleaveland, B. Steffen, 'A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus', Formal Methods in System Design, Feb. 1993
|
5 |
O. Burkart and B. Steffen, Model Checking the Full Modal M-Calculus for Infinite Sequential Processes, LFCS Report ECS-LFCS-97-355 (1997)
|
6 |
Kozen, 'Results on the prepositional -calculus', Theoretical Computer Science, 27:333-354, December 1983
DOI
ScienceOn
|
7 |
D. Schwabe, 'Formal Techniques for the Specification and Verification of Protocol', Ph.D Thesis, Univ. of California Los Angeles, 1981
|
8 |
J. G. Hwang and J. H. Lee, 'A New Data Link Protocol for Korea Railway Signaling Systems', KlEE Int'l Trans. on EMEC, Vol. 3-B, No.4, pp. 195-201, Dec. 2003
|