Retour au site du LAAS-CNRS

An integrated approach to coordination description in distributed multimedia applications

P.GRADIT, K.DRIRA, F.VERNADAT

OLC

Manifestations avec acte à diffusion limitée : International Conference on Artificial and Computational Intelligence for Decision, Control and Automation in Engineering and Industrial Applications (ACIDCA'2000), Monastir (Tunisie), 22-24 Mars 2000, pp.30-35 , N° 99459

Diffusable

Ajouter au panier 38355

An integrated approach to coordination description in distributed multimedia applications

P.GRADIT, K.DRIRA, F.VERNADAT

OLC

Manifestations avec acte à diffusion limitée : International Conference on Artificial and Computational Intelligence for Decision, Control and Automation in Engineering and Industrial Applications (ACIDCA'2000), Monastir (Tunisie), 22-24 Mars 2000, pp.30-35 , N° 00142

Diffusable

Ajouter au panier 38543

Hierarchy of time Petri nets

M.BOYER, F.VERNADAT

OLC

Rapport LAAS N°00144, Mars 2000, 18p.

Diffusable

Ajouter au panier 38557

Language and bisimulation relations between subclasses of timed Petri nets with strong timing semantic

M.BOYER, F.VERNADAT

OLC

Rapport LAAS N°00146, Mars 2000, 55p.

Diffusable

Ajouter au panier 38563

Layered delta-net specification of a workshop

P.GRADIT, F.VERNADAT, P.AZEMA

OLC

Manifestation avec acte : International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), Las Vegas (USA), 26 Juin - 1er Juillet 1999, Vol.VI, pp.2808-2814 , N° 99564

Diffusable

Ajouter au panier 38228

Controlled transition system and concrete graph transformation

P.GRADIT, F.VERNADAT

OLC

Rapport LAAS N°99226, Mai 1999 (Résumé)

Diffusable

Ajouter au panier 33749

Intégration de la topologie dans les réseaux de Petri

P.GRADIT, F.VERNADAT

OLC

Manifestations avec acte à diffusion limitée : Journées "Formalisation des Activités Concurrentes" (FAC'99), Toulouse (France), 25-26 Février 1999, pp.108-121 , N° 99083

Diffusable

Ajouter au panier 32551

Topological analysis of a tree-based distributed mutual exclusion algorithm

P.GRADIT, F.VERNADAT

OLC

Rapport LAAS N°99080, Février 1999, 10p.

Diffusable

Ajouter au panier 32519

Integrating topology in Petri nets by use of rewriting

P.GRADIT, F.VERNADAT

OLC

Rapport LAAS N°99039, Janvier 1999, 20p.

Diffusable

Ajouter au panier 32229

Maîtrise de l'explosion combinatoire. Réduction du graphe de comportement

F.MICHEL, F.VERNADAT

OLC

Revue Scientifique : RAIRO Technique et Science Informatiques, Vol.17, N°7, pp.805-837, Septembre 1998 , N° 98024

Diffusable

Ajouter au panier 29292