Methodologie de specification et de programmation des protocoles de communication avec le langage FP2. Cas etudie: le niveau liaison du protocole x25.

For the most recent entries see the Petri Nets Newsletter.

Methodologie de specification et de programmation des protocoles de communication avec le langage FP2. Cas etudie: le niveau liaison du protocole x25.

Rapport de recherche: Informatique et mathematiques appliquees de Grenoble, No. IMAG-RR 748-I. Saint-Martin d'Heres, France: IMAG, Laboratoire d'informatique fondamentale et d'intelligence artificielle; CNRS-17660, 1988.

Abstract: Developpement, pour une implementation parallele de la couche liaison du protocole X25, d'un modele hybride et original dont le formalisme beneficie de la notion de complementarite de ces composants qui sont: le langage FP2 et les reseaux d'evaluation derives des reseaux de Petri.

Keywords: communication protocol; X25 protocol; FP2 language.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography