Functional and Temporal Analysis of Concurrent Systems
来源：九壹网
1sender idle1receiver idlet1WRQt2get ACK0send ACK0t3ACK0t4package DATA nt8wait DATA nt5t7send DATA nt6DATA nt14t11ACK nwait DATA n+1package DATA n+1t10t12send DATA n+1t13DATA n+1t9ACK n+1t15t16t17t18last DATAget last ACKsend last ACKt19last ACKt20
