PrDK: Protocol Programming with Automata.

Sung-Shik T. Q. Jongmans, Farhad Arbab

Browse the full TACAS paper archive.