A Stepwise Refinement Based Approach for Synthesizing Protocol Specifications in an Interpreted Petri Net Model.

Hakim Kahlouche, Jean-Jacques Girardot

Browse the full INFOCOM paper archive.