Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets.

Jean Christophe Lloret, Pierre Azma, Franois Vernadat

Browse the full CAV paper archive.