This paper deals with formal specification of the non-slotted CSMA/CA protocol in wireless sensor networks(WSN) whose some nodes own a greedy behavior. This protocol requires sensor nodes to wait some time before initiating a transmission. whereas greedy nodes may try to reduce their waiting duration. which may penalize other nodes. https://www.remtavares.com/best-offer-Merrick-Backcountry-Grain-Free-Kitten-Pate-Canned-Wet-Cat-Food-5-5-oz-Cans-Case-of-24-p14288-limited-choice/