SDVerifier Editor

Message:

Comment Page Title Object Count Process Prefix End States Add
A B C A => B message1 { B -> C message2 { A <-- B reply1 } B <= C message3 { B -> A B => C { B <-- C } B --> C reply3 } A <- C message4 }

CSP: Convert
prefix:

Log: