The performance of Carrier Sense Multiple Access/Collision Avoidance (CSMA/CA) protocol adopted as a draft standard of IEEE 802.11 wireless LAN, is analyzed by using mathematical method based on renewal theory. We introdude three kinds of CSMA/CA protocols basic, stop-and-wait and 4-Way handshake CSMA/CA with their mathematical analysis. First, a network of finite population is considered and then expand to infinite population. We model the CSMA/CA protocol as a hybrid protocol of 1-persistent CSMA and p-persistent CSMA protocol, and verify analaytical results by computer simulation. We have found that 4-Way Handshake CAMA/CA shows better performance than those of other two types of CSMA/CA in case of high traffic load.