Verification of a Reliable Net Protocol
暂无分享,去创建一个
[1] R. L. Goodstein. Development of mathematical logic , 1940 .
[2] Ferenc Gécseg,et al. Products of Automata , 1986, EATCS Monographs in Theoretical Computer Science.
[3] Zoltán Ésik,et al. On alpha-0-Products and alpha-2-Products , 1986, Theor. Comput. Sci..
[4] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[5] Jo-Mei Chang,et al. Reliable broadcast protocols , 1984, TOCS.
[6] Grzegorz Rozenberg,et al. Concurrency and Nets , 1987, Springer Berlin Heidelberg.
[7] Victor Yodaiken,et al. Modal Functions for Concise Definition of State Machines and Products , 1991, Inf. Process. Lett..
[8] Victor Yodaiken,et al. The Algebraic Feedback Product of Automata , 1990, CAV.
[9] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[10] Victor Yodaiken,et al. A modal arithmetic for reasoning about multilevel systems of finite state machines , 1990 .
[11] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[12] Amir Pnueli,et al. Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends , 1986, Current Trends in Concurrency.
[13] E. F. Moore. Sequential Machines: Selected Papers , 1964 .
[14] Grzegorz Rozenberg,et al. Concurrency and Nets: Advances in Petri Nets , 1987 .