An Observational Theory for Mobile Ad Hoc Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
An Observational Theory for Mobile Ad Hoc Networks (full version)
Information and Computation
Towards a Calculus For Wireless Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
An operational semantics for a calculus for wireless systems
Theoretical Computer Science
A timed calculus for wireless systems
Theoretical Computer Science
A timed calculus for wireless systems
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Hi-index | 0.00 |