Return to Article Details The Comprehensibility of a Z Specification Language and Its Implementation in JAVA for Implementing Atomic Read/Write Shared Memory in Mobile Ad hoc Network Download Download PDF