Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets.

Pierre Azma, G. Juandle, E. Sanchis, M. Montbernard

Browse the full ICSE paper archive.