searching for Protocol composition logic 1 found (2 total)
alternate case: protocol composition logic
UDP-based Data Transfer Protocol
case mismatch in snippet
find links to article
mechanisms, they carry out a formal proof of correctness to assist them in determining their applicability by using Protocol Composition Logic (PCL). ...