Regular sets of Pomsets
without autoconcurrency: extending regular MSC languages (RR
04001),
J.Fanchon
Journees "Formalisation des Activites
Concurrentes"
(FAC'2004), Toulouse (France), 9-10 Mars 2004, 22p.
Regular languages of
pomsets without autoconcurrency (RR 03474)
J.Fanchon
Distributed pomsets
languages:
regularity, recognisability, rationality (RR 03111)
J.Fanchon
Journees "Formalisation des Activites
Concurrentes"
(FAC'2003), Toulouse (France), 12-13 Mars 2003, 13p.
Regular pomset
languages:
closure properties and MSOL definability (RR 02466)
J.Fanchon, R.MORIN
Regular sets of
pomsets
with autoconcurrency (RR 02129)
J.Fanchon, R.MORIN
13th International Conference on Concurrency
Theory (CONCUR'2002), Brno (Republique Tcheque), 20-23 Aout 2002
Lectures Notes in Computer Sciences 2421,
Eds. L.Brim, P.Jancar, M.Kretinsky, A.Kucera, 2002, Springer, ISBN
3-540-44043-7,
pp.402-417
A syntactic
congruence
for the recognizability of Pomset languages (RR 99008)
J.Fanchon
The
internal-local-remote
dependency model for generic coordination in distributed collaboration
sessions (RR 03476)
J.M.MOLINA-ESPINOSA, J.Fanchon, K.DRIRA
3rd IEEE International Symposium and School
on Advance Distributed (ISSADS'2004), Guadalajara (Mexique), 28-30
Janvier
2004, 12p.
A logical model for
coordination
rule classes in collaborative sessions (RR 03132)
J.M.MOLINA-ESPINOSA, J.Fanchon, K.DRIRA
International Workshop on Distributed and
Mobile Collaboration (DMC'2003), Linz (Autriche), 9-11 Juin 2003,
pp.65-70
Un modèle
formel de flux et protocoles multimédias (RR 02031)
P.BERTHOU, J.Fanchon, M.DIAZ
9eme Colloque Francophone sur l'Ingenierie
des Protocoles (CFIP'2002), Montreal (Canada), 27-30 Mai 2002,
pp.243-257
Automata for
partially
ordered and partially reliable connections (RR 01652)
J.Fanchon
Journees "Formalisation des Activites
Concurrentes"
(FAC'2001), Toulouse (France), 25-26 Avril 2001, pp.21-32
A model and
implementation
of partially ordered and partially reliable connections (RR
01128)
P.BERTHOU, J.Fanchon
A model for
partially
ordered and partially reliable connections (RR 00456)
P.BERTHOU, E.EXPOSITO, J.Fanchon
The immediate
dependency
relation: an optimal way to ensure causal group communication
(RR
03422)
S.POMARES HERNANDEZ, J.Fanchon, K.DRIRA
Annual Review of Scalable Computing, Vol.6,
Séries on Scalable Computing. Ed.Y.C.Kwong, World Scientific,
N°ISBN
981-238-902-4, 2004, Chapter 3 , pp.61-79
Abstract channels as
connectors for software components in group communication services (RR
03363)
J.Fanchon, K.DRIRA, S.POMARES HERNANDEZ
IEEE Fifth Mexican Int. Conf. on Computer
Science (ENC 2004), Colima (Mexique), 20-24 septembre 2004, p 88-95.
Multimodal
communications
(RR
03206)
J.Fanchon S.POMARES HERNANDEZ
An efficient
multi-channel
distributed coordination protocol for collaborative engineering
activities
(RR
02242)
S.POMARES HERNANDEZ, K.DRIRA, J.Fanchon,
M.DIAZ
2002 IEEE International Conference on Systems
Man and Cybernetics (SMC'02), Hammamet (Tunisie), 6-9 Octobre 2002, 6p.
Causal broadcast
protocol
for very large group communication systems (RR 01475)
S.POMARES HERNANDEZ, J.Fanchon, K.DRIRA,
M.DIAZ
5th International Conference on Principles
of DIstributed Systems (OPODIS'2001), Manzanillo (Mexique), 10-12
Decembre
2001, 9p.
An adaptable causal
message
ordering protocol for very large group communication systems (RR
01265)
S.POMARES HERNANDEZ, J.Fanchon, K.DRIRA,
M.DIAZ
Preuves de logique
lineaire et process de reseaux de Petri (RR 03116)
J.Fanchon, N.RIVIERE, B.PRADIN-CHEZALVIEL,
R.VALETTE
4eme Colloque Francophone sur la Modelisation
des Systemes Reactifs (MSR'03), Metz (France), 6-8 Octobre 2003,
pp.261-276
Trace channel nets
(RR 98463)
J.Fanchon
20th International Conference on Application
and Theory of Petri Nets (ICATPN'99), Williamsburgh (USA), 21-25 Juin
1999,
21p.
Lecture Notes in Computer Science 1639, Eds.
S.Donatelli, J.Kleijn, ISBN N?3-540-66132-8, Springer, 1999, pp.304-323