Formal Techniques for Distributed Objects, Components, and Systems
暂无分享,去创建一个
[1] Giorgio Delzanno,et al. Verification of Ad Hoc Networks with Node and Communication Failures , 2012, FMOODS/FORTE.
[2] Bengt Jonsson,et al. Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols , 2008, TACAS.
[3] Kedar S. Namjoshi,et al. Analysis of Dynamic Process Networks , 2015, TACAS.
[4] Annabelle McIver,et al. Automated Analysis of AODV Using UPPAAL , 2012, TACAS.
[5] K. Mani Chandy,et al. Proofs of Networks of Processes , 1981, IEEE Transactions on Software Engineering.
[6] Jacob Beal,et al. A Calculus of Computational Fields , 2013, ESOCC Workshops.
[7] 永田 守男,et al. Verifying Properties of Parallel Programs : An Axiomatic Approach , 1976 .
[8] Franco Zambonelli,et al. Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple Spaces , 2011, TAAS.
[9] Giorgio Delzanno,et al. Parameterized Verification of Safety Properties in Ad Hoc Network Protocols , 2011, PACO.
[10] K. Mani Chandy,et al. Parallel program design - a foundation , 1988 .
[11] Carl A. Gunter,et al. Formal verification of standards for distance vector routing protocols , 2002, JACM.
[12] Annabelle McIver,et al. A rigorous analysis of AODV and its variants , 2012, MSWiM '12.
[13] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[14] Mirko Viroli,et al. A Calculus of Self-stabilising Computational Fields , 2014, COORDINATION.
[15] Sarah Edenhofer,et al. Towards a rigorous analysis of AODVv2 (DYMO) , 2012, 2012 20th IEEE International Conference on Network Protocols (ICNP).
[16] Kohei Honda,et al. An Interaction-based Language and its Typing System , 1994, PARLE.
[17] David L. Dill,et al. Counter-Example Based Predicate Discovery in Predicate Abstraction , 2002, FMCAD.
[18] Giorgio Delzanno,et al. On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks , 2012, FSTTCS.
[19] Ahmed Bouajjani,et al. A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes , 2007, TACAS.