Pierre Azéma, François Vernadat, Jean Christophe Lloret. Spécification Logique de Protocoles de Communication à l aide de Réseaux Prédicat/Transition Etiquetés. In Serge Bourgault, Mehmet Dincbas, editors, SPLT 89, 8:::ème::: Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France. pages 187-212, 1989.
Abstract is missing.