Assertion-Based Reasoning Method for Calculus of Wireless System
暂无分享,去创建一个
[1] Pingzhi Fan,et al. A Survey on High Mobility Wireless Communications: Challenges, Opportunities and Solutions , 2016, IEEE Access.
[2] Herwig Bruneel,et al. Analysis of Stop-and-Wait ARQ for a wireless channel , 2009, 4OR.
[3] Healfdene Goguen. Soundness of the Logical Framework for Its Typed Operational Semantics , 1999, TLCA.
[4] Jens Chr. Godskesen. A Calculus for Mobile Ad Hoc Networks , 2007, COORDINATION.
[5] Frank S. de Boer,et al. Verification of Sequential and Concurrent Programs , 1997, Texts and Monographs in Computer Science.
[6] Andreas Willig,et al. Wireless Technology in Industrial Networks , 2005, Proceedings of the IEEE.
[7] Chris Hankin,et al. Formal Security Analysis for Ad-Hoc Networks , 2006, Electron. Notes Theor. Comput. Sci..
[8] K. V. S. Prasad. A Calculus of Broadcasting Systems , 1991, Sci. Comput. Program..
[9] Willem P. de Roever,et al. The rely-guarantee method for verifying shared variable concurrent programs , 1997, Formal Aspects of Computing.
[10] Davide Sangiorgi,et al. Towards a Calculus For Wireless Systems , 2006, MFPS.
[11] Xi Wu,et al. Observation-Oriented Semantics for Calculus of Wireless Systems , 2014, UTP.
[12] Massimo Merro,et al. An Observational Theory for Mobile Ad Hoc Networks (full version) , 2009, Inf. Comput..
[13] J. Gallier. Mathematical Reasoning, Proof Principles, and Logic , 2011 .
[14] Octavian Fratu,et al. Introduction to Special Issue “Current Trends in Information and Communications Technology” , 2016, Wirel. Pers. Commun..
[15] C. A. R. Hoare,et al. An axiomatic basis for computer programming , 1969, CACM.
[16] Ivan Lanese,et al. An operational semantics for a calculus for wireless systems , 2010, Theor. Comput. Sci..