Weak Bisimulation is Sound and Complete for PCTL*, CONCUR 2002, pp.355-370, 2002. ,
DOI : 10.1007/3-540-45694-5_24
Principles of Model Checking, 2008. ,
A framework for security analysis of mobile wireless networks, Theoretical Computer Science, vol.367, issue.1-2, pp.203-227, 2006. ,
DOI : 10.1016/j.tcs.2006.08.036
A Process Calculus for Mobile Ad Hoc Networks, COORDINATION 2008, pp.296-314, 2008. ,
An Observational Theory for Mobile Ad Hoc Networks, Electronic Notes in Theoretical Computer Science, vol.173, pp.275-293, 2007. ,
DOI : 10.1016/j.entcs.2007.02.039
Restricted Broadcast Process Theory, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, pp.345-354, 2008. ,
DOI : 10.1109/SEFM.2008.25
A Calculus for Mobile Ad Hoc Networks, COORDINATION'07, pp.132-150, 2007. ,
DOI : 10.1007/978-3-540-72794-1_8
A Calculus for Mobile Ad-hoc Networks with Static Location Binding, 15th International Workshop on Expressiveness in Concurrency, 2008. ,
DOI : 10.1016/j.entcs.2009.06.018
Probabilistic Simulations for Probabilistic Processes, CONCUR'94, pp.481-496, 1994. ,
Weak Bisimulation for Probabilistic Systems, CONCUR'00, pp.334-349, 2000. ,
DOI : 10.1007/3-540-44618-4_25
A Timed Calculus for Wireless Systems, 3rd International Conference on Fundamentals of Software Engineering, 2009. ,