Author of the publication

Petri net based models for the specification and validation of protocols.

, and . European Workshop on Applications and Theory in Petri Nets, volume 188 of Lecture Notes in Computer Science, page 101-121. Springer, (1984)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Inter-domain QoS signaling under mobility., , , and . NOMS, page 855-858. IEEE, (2008)The EuQoS system: a solution for QoS routing in heterogeneous networks Quality of Service based Routing Algorithms for Heterogeneous Networks., , , , , , , , , and 4 other author(s). IEEE Communications Magazine, 45 (2): 96-103 (2007)EuQoS: End-to-End Quality of Service over Heterogeneous Networks., , , , , , , , , and 4 other author(s). Comput. Commun., 32 (12): 1355-1370 (2009)Experiences Using Estelle Within SEDOS Estelle Demonstrator., , and . FORTE, page 455-470. North-Holland, (1989)Causal Broadcast Protocol for Very Large Group Communication Systems., , , and . OPODIS, page 175-188. Suger, Saint-Denis, rue Catulienne, France, (2001)Specification and Validation of Protocols by Temporal Logic and Nets., and . IFIP Congress, page 47-52. North-Holland/IFIP, (1983)Time Stream Petri Nets: A Model for Multimedia Streams Synchronization., and . MMM, page 257-273. World Scientific, (1993)A New Approximation Model for Guaranteed QoS Information Aggregation., , and . ISCC, page 927-934. IEEE Computer Society, (2007)Distant e-learning using synchronous collaborative environment "Platine"., , , , , , and . ISMSE, page 88-95. IEEE Computer Society, (2004)Path prediction for resource reservation between mobile nodes., , and . WCNC, page 2073-2078. IEEE, (2009)