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.ngetikin.com/super-value-1-2-in-Tobacco-Road-Acacia-Distressed-Engineered-Hardwood-Flooring-4-8-in-Wide-Sample-quick-super/