Translation of modified predicate transition nets models of cummunication protocols into simulation programs.

Chuang Lin, Dan C. Marinescu

Browse the full WSC paper archive.