Jean Fanchon
LAAS-CNRS
fanchon@laas.fr
7, avenue du colonel Roche |
http://www.laas.fr/~fanchon 31077
TOULOUSE France |
Tel: (33) 5 61 33 64 75
Fax : +(33) 05 61 33 69 36|
I am a permanent member of LAAS-CNRS,
interested in
concurrency theory, partial order models, distributed systems and
algorithms. My work is applied to multimedia communication
protocols (research group OLC),
and to group communication and services (research groups OLC
and TSF)
Papers
since 1998, chronology
Papers
since 1998, by topic
Languages of labelled partial orders:
- J.Fanchon, R.Morin. " Pomset
languages of Finite Step Transition Systems
" Petri Nets 2009, Paris 06/2009 :
slides.
- " Ordres partiels
étiquetés: logique, régularité et représentations " . Séminaire OLC-LAAS,
Toulouse 17/11/2008:
slides.
- " Sur une notion de
régularité des ensembles d'ordres partiels
étiquetés " . Séminaire de l'IGM,
Marne-la-Vallée 18/12/2007: slides.
- " Classes étendues de pomsets " .
Seminaire de l'équipe "Modélisation et
vérification" du LIF , Marseille 6/6/2006: slides.
- "A Büchi theorem for finitely generated pomsets
without
autoconcurrency."
LAAS RR 05655, 17p. Journées FAC'06, Mars 2006, Toulouse: pdf
file
- " Regular and definable sets of pomsets with
autoconcurrency ",
RR LAAS 05534, Oct 2005, 26p: pdf
file .
- "Extended classes of pomsets: some views on logic,
regularity
and automata." Seminar Feria (LAAS-IRIT-ONERA) Toulouse 5/4/2005: slides.
- "Finitely generated sets of pomsets without
autoconcurrency :
Extending regular MSC languages",
An improved version of LAAS RR 04001 (15/7/2005): pdf
file .
- The slides of the presentation at FAC'04, pdf
file.
- J.Fanchon, R.Morin. "Regular sets of pomsets with
autoconcurrency ", LAAS
RR 02129 , March 2002: gzipped
postscript . Also in CONCUR02, Brno (Rep. Tchèque)
August 2002 (LNCS 2421).
- "A Syntactic equivalence for the recognizability of
Pomset
languages
", LAAS research report 99008, January 1999: gzipped
postscript.
A logical model for Distributed Collaborative
Sessions:
- J.M. Molina, J.Fanchon, K.Drira. The internal-local-remote
dependency model for generic coordination in distributed collaboration
sessions (RR 03476), 3rd IEEE International Symposium and School
on Advance Distributed (ISSADS'2004), Guadalajara (Mexique), 28-30
January
2004, 12p.
- The slides of the presentation at ISSADS'04: pdf File.
- J.M. Molina, J.Fanchon, K.Drira. A logical model for
coordination
rule classes in collaborative sessions (RR 03132)
International Workshop on Distributed and
Mobile Collaboration (WETICE'2003), Linz (Autriche), 9-11 June 2003,
pp.65-70:
pdf File.
Multimedia data streams and protocols, a
formal
model:
- P.Berthou, J Fanchon . " A model and implementation for
Partially
Ordered and Partially Reliable Connections". LAAS research report
01128,
march 2001: gzipped
postscript
- J.Fanchon. "Automata for Partially Ordered
and
Partially
Reliable Connections ". LAAS research report
01652,
Journées FAC 2001, Toulouse, april 2001: gzipped
postscript .
- P.Berthou, J.Fanchon, M.Diaz. " Un modèle formel
de
flux et protocoles
multimedia". CFIP 2002, Montréal, Mai 2002.
- The slides of the presentation at CFIP (in French): CFIP
transparents.tar.gz
Causal protocols for group communication and
coordination:
S.Pomares Hernandez, J.Fanchon, K. Dridra. "The
immediate dependency
relation: an optimal way to ensure causal group communication "
(LAAS RR 03422) 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.
J.Fanchon,S.Pomares Hernandez, K. Dridra." Abstract
channels
as connectors for software components in group
communication services." (LAAS RR 03363) IEEE Fifth Mexican Int.
Conf. on Computer Science (ENC 2004), Colima (Mexique), 20-24 septembre
2004, p 88-95 :
pdf file.
The slides of the presentation at ENC 2004 :
pdf file .
S.Pomares Hernandez, K. Dridra, J.Fanchon, M.Diaz. "An
efficient multi-channel
distributed coordination protocol for collaborative engineering
activities
" (LAAS RR 02242, Juin 2002,6p.), Conference IEEE SMC02,
Oct 6-9, Hammamet (TU)
S.Pomares Hernandez, J.Fanchon,K. Dridra, M.Diaz. "Causal
broadcast
protocol for very large group communication systems "(LAAS RR
01475)
5th International Conference On Principles Of Distributed Systems
(OPODIS),
Manzanillo Mexico, Dec 2001.
Trace Channel Nets:
- "Trace Channel Nets", proceedings of ICATPN 99, LNCS
1639,
Copyright
held by Springer-Verlag
.
Proofs are available in LAAS research report 98463: gzipped
postscript.
A Parameterised Light Atomic Broadcast and
Membership Protocol :
Slides
in french
.
A presentation in french in the student
technical report
of Alexandra Coppé, July 2006.
Two old papers:
J.Fanchon."
Dynamic concurrent processes "
International Conference Parallel ARchitectures and Languages Europe,
PARLE 92, Marne-la Vallee, Juin 1992, LNCS 605.
J.Fanchon."
Fifo-net Models for processes with asynchronous communication "
International Conference on theory and application of Petri-Nets
(ICATPN'91) and Advances in Petri-Nets 1992, LNCS 618.
visitors
since
June 2003.
And
what about happiness ?
Jean Fanchon Groupe II /
LAAS-CNRS
/ 7, avenue du Colonel Roche / 31077 Toulouse Cedex 4
Tel : 05.61.33.64.75