Open AccessFormal Specification for Implementing Atomic Read/Write Shared Memory in Mobile Ad Hoc Networks Using the Mobile Unity
Author(s) -
Reham. A.Shihata
Publication year - 2022
Publication title -
international journal of computer science and information technology/international journal of computer science and information technology (chennai. print)
Language(s) - English
Resource type - Journals
eISSN - 0975-4660
pISSN - 0975-3826
DOI - 10.5121/ijcsit.2022.14301
Subject(s) - computer science , distributed computing , mobile ad hoc network , formal methods , mobile computing , notation , field (mathematics) , mobile agent , computer network , programming language , network packet , arithmetic , mathematics , pure mathematics