The Use of Static Constructs in A Modal Process Logic
暂无分享,去创建一个
[1] Kim G. Larsen,et al. Compositional Proofs by Partial Specification of Processes , 1988, MFCS.
[2] Kim G. Larsen,et al. A modal process logic , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
[3] Kim G. Larsen,et al. Proof System for Hennessy-Milner Logic with Recursion , 1988, CAAP.
[4] Robin Milner,et al. Verifying a Protocol Using Relativized Bisimulation , 1987, ICALP.
[5] K. V. S. Prasad. Combinators and bisimulation proofs for restartable systems , 1987 .
[6] K. Larsen. Context-dependent bisimulation between processes , 1986 .
[7] Robin Milner,et al. Algebraic laws for nondeterminism and concurrency , 1985, JACM.
[8] Robin Milner,et al. Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..
[9] David Park,et al. Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.
[10] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.