Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets

Pierre Azéma, G. Juandle, E. Sanchis, M. Montbernard. Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets. In ICSE. pages 510-519, 1984.

Abstract

Abstract is missing.