Duplication, insertion and lossiness errors in unreliable communication channels
暂无分享,去创建一个
[1] Michel Diaz,et al. Formal Description Technique Estelle: Results of the Esprit Sedos Project , 1989 .
[2] S. Purushothaman Iyer,et al. Data flow analysis of communicating finite state machines , 1991, TOPL.
[3] Robert E. Milne,et al. The formal description technique Estelle : J.P. Diaz, J.P. Ansart, J.P. Courtiat, P. Azema and V. Chari, eds. North-Holland, Amsterdam, Netherlands, 1989, Prince $102.50 (hardback), ISBN 0-444-87132-2. , 1990 .
[4] Joseph Y. Halpern,et al. “Sometimes” and “not never” revisited: on branching versus linear time temporal logic , 1986, JACM.
[5] Parosh Aziz Abdulla,et al. Verifying programs with unreliable channels , 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
[6] Graham Higman,et al. Ordering by Divisibility in Abstract Algebras , 1952 .
[7] A. Tarski. A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .
[8] Daniel Brand,et al. On Communicating Finite-State Machines , 1983, JACM.
[9] Mohamed G. Gouda,et al. On deadlock detection in systems of communicating finite state machines , 1987 .
[10] Jan K. Pachl,et al. Protocol Description and Analysis Based on a State Transition Model with Channel Expressions , 1987, PSTV.
[11] Keith A. Bartlett,et al. A note on reliable full-duplex transmission over half-duplex links , 1969, Commun. ACM.
[12] Parosh Aziz Abdulla,et al. Undecidable Verification Problems for Programs with Unreliable Channels , 1994, Inf. Comput..
[13] Gregor von Bochmann,et al. Finite State Description of Communication Protocols , 1978, Comput. Networks.