Retour au site du LAAS-CNRS

Preuves de logique linéaire et process de réseaux de Petri

J.FANCHON, N.RIVIERE, B.PRADIN-CHEZALVIEL, R.VALETTE

2I, OLC

Manifestation avec acte : 4ème Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'03), Metz (France), 6-8 Octobre 2003, pp.261-276 , N° 03116

Diffusable

Ajouter au panier 101250

Regular languages of pomsets without autoconcurrency

J.FANCHON

OLC, 2I

Rapport LAAS N°03474, Octobre 2003, 20p.

Diffusable

Ajouter au panier 101416

A logical model for coordination rule classes in collaborative sessions

J.M.MOLINA-ESPINOSA, J.FANCHON, K.DRIRA

OLC, 2I

Manifestation avec acte : International Workshop on Distributed and Mobile Collaboration (DMC'2003), Linz (Autriche), 9-11 Juin 2003, pp.65-70 , N° 03132

Diffusable

Ajouter au panier 100880

Multimodal communications

J.FANCHON, S.POMARES HERNANDEZ

2I, OLC

Rapport LAAS N°03206, Avril 2003, 8p.

Diffusable

Ajouter au panier 100737

Distributed pomsets languages: regularity, recognisability, rationality

J.FANCHON

2I, OLC

Manifestation sans acte : Journées "Formalisation des Activités Concurrentes" (FAC'2003), Toulouse (France), 12-13 Mars 2003, 13p. , N° 03111

Diffusable

Ajouter au panier 101481

Regular pomset languages: closure properties and MSOL definability

J.FANCHON, R.MORIN

2I, LIF

Rapport LAAS N°02466, Novembre 2002, 13p.

Diffusable

Ajouter au panier 100129

An efficient multi-channel distributed coordination protocol for collaborative engineering activities

S.POMARES HERNANDEZ, K.DRIRA, J.FANCHON, M.DIAZ

OLC, 2I

Manifestation avec acte : 2002 IEEE International Conference on Systems Man and Cybernetics (SMC'02), Hammamet (Tunisie), 6-9 Octobre 2002, 6p. , N° 02242

Diffusable

Ajouter au panier 53751

Linear logic proofs and processes in Petri nets

J.FANCHON, N.RIVIERE, B.PRADIN-CHEZALVIEL, R.VALETTE

2I, OLC, OCSD

Rapport LAAS N°02450

Diffusable

Ajouter au panier 100100

Regular sets of pomsets with autoconcurrency

J.FANCHON, R.MORIN

2I, LIF

Manifestation avec acte : 13th International Conference on Concurrency Theory (CONCUR'2002), Brno (République Tchèque), 20-23 Août 2002 , N° 02129

Diffusable

Ajouter au panier 52964

Un modèle formel de flux et protocoles multimédias

P.BERTHOU, J.FANCHON, M.DIAZ

OLC, 2I

Manifestation avec acte : 9ème Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'2002), Montréal (Canada), 27-30 Mai 2002, pp.243-257 , N° 02031

Diffusable

Ajouter au panier 52012