Asynchronous Protocol Specification ✦ specifikim i protokolit asinkron [cite] Related posts: feasible FIFO space static check