Semiautomatic Implementation of Communication Protocols from a Petri Net Based Specification Language Description.

P. Li, M. von Thun, Tharam S. Dillon

Browse the full FORTE paper archive.