Specification of distributed systems using multi-Level Petri nets.

Flix F. Ramos, Fabiel Ziga, Antonio Alcala, H. Ivn Piza

Browse the full SMC paper archive.