Non-deterministic transducer models of retransmission protocols over noisy channels
暂无分享,去创建一个
[1] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[2] Rajeev Alur,et al. Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels , 2013, FMOODS/FORTE.
[3] Yongzhi Cao,et al. Reliability of Mobile Processes with Noisy Channels , 2012, IEEE Transactions on Computers.
[4] Jan Friso Groote,et al. A Bounded Retransmission Protocol for Large Data Packets , 1993, AMAST.
[5] Pavol Cerný,et al. Streaming transducers for algorithmic verification of single-pass list-processing programs , 2010, POPL '11.
[6] Daniel Brand,et al. On Communicating Finite-State Machines , 1983, JACM.
[7] Rajeev Alur,et al. Nondeterministic Streaming String Transducers , 2011, ICALP.
[8] Hanpin Wang,et al. Value-passing CCS with noisy channels , 2012, Theor. Comput. Sci..
[9] Marcel Paul Schützenberger,et al. Sur les Relations Rationnelles Entre Monoides Libres , 1976, Theor. Comput. Sci..
[10] Bruno Courcelle. Graph Operations, Graph Transformations and Monadic Second-Order Logic:: A survey , 2004 .
[11] Fulvio Babich,et al. Formal methods for specification and analysis of communication protocols , 2002, IEEE Communications Surveys & Tutorials.
[12] Pavol Cerný,et al. Expressiveness of streaming string transducers , 2010, FSTTCS.
[13] David Wetherall,et al. Computer Networks -5/E. , 2010 .
[14] Joost Engelfriet,et al. MSO definable string transductions and two-way finite-state transducers , 1999, TOCL.
[15] Bruno Courcelle,et al. Graph Operations, Graph Transformations and Monadic Second-Order Logic: a survey , 2002, GETGRATS Closing Workshop.
[16] Parosh Aziz Abdulla,et al. Verifying programs with unreliable channels , 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.