Formal Specification for Implementing Atomic Read/Write Shared Memory in Mobile Ad Hoc Networks Using the Mobile Unity
International journal of computer science and information technology/International journal of computer science and information technology  (Chennai. Print)