@STRING{LNCS="Lectures Notes in Computer Science"}
@STRING{TCS="Theoretical Computer Science"}
@STRING{SPRING="Springer-Verlag"}
@STRING{JACM="Journal of the ACM"}
@STRING{CACM="Communication of the ACM"}
@STRING{INRIA="INRIA"}

@article{AustryBoudol84,
   author = {D. Austry and G. Boudol},
   journal = TCS,
   title = {Alg\`ebre de processus et synchronisation},
   volume = 30,
   year = 1984
}


@article{DeSimone85,
   author = {R. de Simone},
   journal = TCS,
   title = {High Level Devices in {Meije-Sccs}},
   volume = 40,
   year = 1985
}

@inproceedings{Boudol85,
   author = {G. Boudol},
   booktitle = {Logics and Models of Concurrent Systems, {NATO-ISA
		 series F13}},
   editor = {K. Apt},
   title = {Notes on Algebraic Calculi of Processes},
   year = 1985
}

@phdthesis{Vergamini87,
   author = {D. Vergamini},
   school = {Universit\'e de Nice},
   title = {V\'erification de R\'eseaux d'Automates Finis Par
		 Equivalences Observationnelles: Le Syst\`eme AUTO},
   year = 1987
}

@phdthesis{Gonthier88,
   author = {G. Gonthier},
   school = {Universit\'e d'Orsay},
   title = {S\'emantique et mod\`eles d'ex\'ecution des languages 
            r\'eactifs synchrones;  application \`a Esterel},
   year = 1988
}

@phdthesis{Lecompte88,
   author = {V. Lecompte},
   school = {Universit\'e de Paris VII},
   title = {V\'erification automatique de programmes {ESTEREL}},
   year = 1988
}

@incollection{BerryCouronneGonthier88,
   author = {G. Berry and P. Couronne and G. Gonthier},
   booktitle = {Programming of Future Generation Computers},
   editor = {K. Fuchi and M. Nivat },
   note = {a paraitre dans  ACM TOPLAS},
   publisher = {North-Holland},
   title = {Synchronous programming of reactive systems :  an
		 introduction to {ESTEREL}},
   year = 1988
}

@techreport{Kahn87,
   author = {G. Kahn},
   institution = INRIA,
   number = "RR601",
   title = {Natural Semantics},
   year = 1987
}

@techreport{BerryGonthier88,
   author = {G. Berry and G. Gonthier},
   institution = INRIA,
   note = {to appear in Science of Computer Programming },
   number = "RR842",
   title = {The Synchronous Programming Language ESTEREL; Semantics, Implementation},
   year = 1988
}

@article{BoudolCastellani88a,
   author = {G. Boudol and I. Castellani},
   journal = {Theoretical Computer Science},
   pages = {25-84},
   title = {Concurrency  and Atomicity},
   volume = 59,
   year = 1988
}

@techreport{BoudolCastellani88b,
   author = {G. Boudol and I. Castellani},
   institution = INRIA,
   note = {a paraitre dans Fundamenta Informaticae, Special Issue on Concurrency},
   number = "RR919",
   title = {A non-interleaving semantics for {CCS} based on proved
		 transitions},
   type = {Rapport de Recherche},
   year = 1988
}

@inproceedings{BoudolCastellani88c,
   author = {G. Boudol and I. Castellani},
   address = "Noordwijkerhout",
   booktitle = {REX conference},
   institution = {noordwijkerhout  },
   month = may,
   note = {also Rapport de Recherche RR798, INRIA, 1988},
   title = {Permutation of transitions; an event structure  semantic
		 for  {CCS} and {SCCS}},
   year = 1988
}

@techreport{DoumencMadelaine88,
   author = {G. Doumenc and E. Madelaine},
   institution = INRIA,
   number = "RR938",
   title = {Une traduction de {Plotos} en {Meije}},
   type = {Rapport de Recherche},
   year = 1988
}

@misc{MadelaineDeSimoneVergamini88,
   author = {E. Madelaine and R. de Simone and D. Vergamini},
   institution = INRIA,
   note = {Technical Documentation},
   title = {{\em ECRINS}, User Manual},
   year = 1988
}

@techreport{BoudolDeSimoneVergamini88,
   author = {Boudol, G. and R. de Simone and D. Vergamini},
   institution = INRIA,
   month = Jul,
   number = "RR870",
   title = {Experiment with {AUTO} and
                {AUTOGRAPH} on a Simple Case Sliding Window Protocol},
   type = {Rapport de Recherche},
   year = 1988
}

@techreport{Vergamini88,
   author = {D. Vergamini},
   institution = INRIA,
   number = "RR934",
   title = {Verification of Distributed Systems; an Experiment},
   type = {Rapport de Recherche},
   year = 1988
}

@inproceedings{Boudol89b,
   author = {G. Boudol},
   address = "Barcelona",
   booktitle = {TAPSOFT, LNCS 351},
   title = {Towards a lamda-calculus for concurrent and communicating systems},
   year = 1989
}

@techreport{Boudol89a,
   author = {G. Boudol},
   institution = INRIA,
   month = may,
   number = "RR1026",
   title = {Atomic Actions},
   type = {Rapport INRIA},
   year = 1989
}

@inproceedings{BoudolCastellani89,
   author = {G. Boudol and I. Castellani},
   booktitle = {Linear Time,   Branching Time and Partial Order
		 in Logics and Models for Concurrency, LNCS 354},
   title = {Permutation of Transitions: an Event Structure Semantics
		 for {CCS  and SCCS}},
   year = 1989
}

@inproceedings{MadelaineVergamini89,
   author = {E. Madelaine and D. Vergamini},
   address = "Vancouver",
   booktitle = {Formal Description Techniques, II, FORTE'89 conference},
   editor = {S. T. Vuong},
   month = dec,
   publisher = {North-Holland},
   title = {AUTO: A verification Tool for Distributed Systems Using
 Reduction of Finite Automata Networks},
   year = 1989
}

@techreport{Afifi89,
   author = {H. Afifi},
   institution = {Universit\'e de Nice},
   month = sep,
   title = {Les ensembles semi-lin\'eaires: application au syst\`eme ECRINS},
   type = {Rapport de {DEA}},
   year = 1989
}

@techreport{BoudolRoyDeSimone89,
   author = {G. Boudol and V. Roy and R. de Simone and D. Vergamini},
   institution = INRIA,
   month = oct,
   number = "RR1098",
   title = {Process Calculi, from Theory to Practice: Verification Tools},
   type = {Rapport de Recherche},
   year = 1989
}

@Incollection{BoudolRoyDeSimone89a,
AUTHOR= "G. Boudol and V. Roy and R. de Simone and D.Vergamini",
TITLE= "Process Calculi from Theory to Practice: Verification Tools",
BookTitle= "Proc. of the Workshop on Automated Verification Methods
for Finite State Systems",
Series= "LNCS 407",
publisher=SPRING,
YEAR= 1989}


@techreport{Boussinot89,
   author = {F. Boussinot},
   institution = INRIA,
   number = "RR1027",
   title = {A reactive Extension of {C}},
   type = {Rapport de Recherche},
   year = 1989
}

@techreport{Castellani89,
   author = {I. Castellani and G.Q. Zhang},
   institution = INRIA,
   number = "RR1078",
   title = {Parallel Product of Event Structures},
   type = {Rapport de Recherche},
   year = 1989
}

@techreport{Jaworski89,
   author = {C. Jaworski},
   institution = {Universit\'e de Nice},
   month = sep,
   title = {{DOME}: Une interface multifen\^etres pour les syst\`emes
		 {AUTO et ECRINS}},
   type = {Rapport de {DEA}},
   year = 1989
}

@techreport{DeSimoneVergamini89,
   author = {R. de Simone and D. Vergamini},
   institution = INRIA,
   month = oct,
   number = "RT111",
   title = {Aboard {AUTO}},
   type = {Rapport Technique},
   year = 1989
}

@techreport{RoyDeSimone89,
   author = {V. Roy and R. de Simone},
   institution = INRIA,
   month = oct,
   number = "RT112",
   title = {An {AUTOGRAPH} Primer},
   type = {Rapport Technique},
   year = 1989
}

@phdthesis{Couronne89,
   author = {P. Couronn\'e},
   month = nov,
   school = {Universit\'e de Paris  7},
   title = {Le syst\`eme ESTEREL v2},
   year = 1989
}

@phdthesis{Roy90,
AUTHOR= "V. Roy",
TITLE= "AUTOGRAPH: Un outils de visualisation pour les calculs de processus",
SCHOOL= {Universit\'e de Nice},
MONTH= jun,
YEAR= 1990}

@inproceedings{BerryBoudol90,
   author = {G. Berry and G. Boudol},
   address = {San Francisco},
   booktitle = {Proc. ACM Conf. on Principles of Programming Languages},
   month = jan,
   note = {and Rapport de Recherche RR1133, INRIA, 1989},
   title = {The Chemical Abstract Machine},
   year = 1990
}


@inproceedings{Boudol90a,
   author = {G. Boudol},
   address = {La Roche Posay},
   booktitle = {Ecole de Printemps d'Informatique Th\'eorique, LNCS},
   month = apr,
   title = {Flow Event Structures and Flow Nets},
   year = 1990
}

@techreport{Boudol90b,
   author = {G. Boudol},
   institution = INRIA,
   month = May,
   number = "RR1231",
   title = {A $\lambda$-calculus for parallel functions},
   type = {Rapport de Recherche},
   year = 1990
}

@inproceedings{BoudolCastellani90,
   author = {G. Boudol and I. Castellani},
   address = {La Roche Posay},
   booktitle = {Ecole de Printemps d'Informatique Th\'eorique, LNCS},
   month = apr,
   title = {Three Equivalent Semantics for CCS},
   year = 1990
}

@inproceedings{BoudolLarsen90,
   author = {G. Boudol and K. Larsen},
   address = "Copenhagen",
   booktitle = {CAAP 90, LNCS 431},
   month = May,
   note = {also Rapport de Recherche RR1104, INRIA, 1989},
   title = {Graphical versus Logical Specifications},
   year = 1990
}

@inproceedings{MadelaineVergamini90,
   author = {E. Madelaine and D. Vergamini},
   address = {New-Brunswick},
   booktitle = {proceedings of Workshop on Computer Aided Verification},
   editor = "R.~Kurshan",
   month = jun,
   publisher = {AMS-DIMACS},
   title = {Finiteness conditions and structural construction of automata
for all process algebras},
   year = 1990
}

@inproceedings{RoyDeSimone90,
   author = {V. Roy and R. de Simone},
   address = {New-Brunswick},
   booktitle = {proceedings of Workshop on Computer Aided Verification},
   editor = "R.~Kurshan",
   month = jun,
   publisher = {AMS-DIMACS},
   title = {AUTO and AUTOGRAPH},
   year = 1990
}

@techreport{DoumencMadelaineDeSimone90,
   author = {G. Doumenc and E. Madelaine and R. de Simone},
   institution = INRIA,
   month = mar,
   number = "RR1192",
   title = {Proving Process Calculi Translations in {ECRINS}: The {PureLotos}
\verb=-->= {Meije} example.},
   type = {Rapport de recherche},
   year = 1990
}


@phdthesis{Saint91,
   author = {Jean-Bernard Saint},
   key = {jbsthese},
   month = dec,
   school = {Universit\'e Paris 7},
   title = {AZUR: Un Environnement pour Esterel sous Centaur},
   year = {1991}
}

@phdthesis{Bernhard91,
   author = {Raphael Bernhard},
   key = {raphthese},
   month = nov,
   school = {Universit\'e de Nice},
   title = {Esterel V4: une Extension Modulaire d'Esterel},
   year = {1991}
}

@TechReport{BoussinotDeSimone91,
AUTHOR="Frederic Boussinot and Robert De Simone",
TITLE="The{ESTEREL} langage",
INSTITUTION="INRIA",
NUMBER="1487",
YEAR="1991",
MONTH=" "}

@article{BoussinotDeSimone91a,
   author = {F. Boussinot and R. de Simone},
   journal = {Proceedings of the IEEE},
   key = {IEEEesterel},
   month = sep,
   pages = {1293-1304},
   title = {the Esterel Language},
   year = {1991}
}

@inproceedings{BoualiDeSimone91,
   author = {A. Bouali and R. de Simone},
   address = {Amsterdam},
   booktitle = {Concur'91},
   editor = {J. Baeten, J.F. Groote},
   key = {causalmodels},
   publisher = {Springer-Verlag},
   series = {LNCS},
   title = {Causal Models for Rational Algebraic Processes},
   volume = {527},
   year = {1991}
}

@inproceedings{RoyDeSimone91,
   author = {V. Roy and R. de Simone},
   booktitle = {Computer-Aided Verification '90},
   editor = {E.M. Clarke, R.P. Kurshan},
   key = {atgdimacs},
   publisher = {ACM},
   series = {DIMACS Series},
   title = {Auto/Autograph},
   volume = {3},
   year = {1991}
}

@article{RoyDeSimone92,
   author = {V. Roy and R. de Simone},
   title = {Auto/Autograph},
   journal = {Formal methods in System Design},
   volume = {1},
   number = 2,
   year = {1992}
}

@article{Boussinot91,
   author = {F. Boussinot},
   journal = {Software Practice and Experience},
   key = {reactivC},
   month = apr,
   number = {4},
   title = {Reactive C: an Extension of C to Program Reactive Systems},
   volume = {21},
   year = {1991}
}

@article{BerryGonthier91,
   author = {G. Berry and G. Gonthier},
   journal = {Computer Networks},
   key = {hdlc},
   number = {1},
   title = {Incremental Development of an HDLC entity in Esterel},
   volume = {22},
   year = {1991}
}

@techreport{Gherardi91,
   author = {G. Gherardi},
   institution = {CMA-Ecole des Mines},
   key = {sahara},
   month = jul,
   number = {10},
   title = {Le Syst\`eme SAHARA},
   year = {1991}
}

@TechReport{Berry91,
AUTHOR="G\'erard Berry",
TITLE="A hardware implementation of pure ESTEREL",
INSTITUTION="INRIA",
NUMBER="de recherche 1479",
YEAR=1991,
MONTH=""}

@inproceedings{Berry91a,
   author = {G. Berry},
   address = "Miami",
   booktitle = {Proceedings of the International 
Workshop on Formal Methods in VLSI Design},
   month = jan,
   title = {A Hardware Implementation of Pure {Esterel}},
   year = 1991
}

@techreport{Berry91b,
   author = {G. Berry},
   institution = {CMA-Ecole des Mines},
   key = {wwatch},
   month = jun,
   number = {08},
   title = {Programming a Digital Watch in Esterel V3.2},
   year = {1991}
}

@techreport{BoussinotDoumenc91,
   author = {F. Boussinot and G. Doumenc},
   institution = {CMA-Ecole des Mines},
   key = {reactifC},
   month = jul,
   number = {09},
   title = {Le Langage ``Reactive C''},
   year = {1991}
}

@techreport{BerryEtAl91,
   author = {G. Berry {\em et al.}},
   institution = {CMA-Ecole des Mines},
   key = {reflexGame},
   month = jun,
   number = {07},
   title = {Progamming a Reflex Game in Esterel V3},
   year = {1991}
}

@techreport{BoudolCastellani91a,
   author = {G. Boudol and I. Castellani},
   institution = {INRIA},
   key = {flowevent},
   month = jul,
   number = {1482},
   title = {Flow Models of Distributed Computations:  Event Structures and Nets},
   type = {Research},
   year = {1991}
}

@techreport{Aceto91,
   author = {L. Aceto},
   institution = {INRIA},
   key = {staticloc},
   month = jul,
   number = {1483},
   title = {A static view of Localities},
   type = {Research},
   year = {1991}
}

@techreport{BoudolCastellaniHennessyKiehn91,
   author = {G. Boudol and I. Castellani and  M. Hennessy and  A. Kiehn},
   institution = {INRIA},
   key = {locality},
   month = jul,
   number = {1485},
   title = {Observing Localities},
   type = {Research},
   year = {1991}
}

@techreport{BoudolCastellani91b,
   author = {G. Boudol and I. Castellani},
   institution = {INRIA},
   key = {3eqsem},
   month = jul,
   number = {1484},
   title = {Flow Models of Distributed Computations: Three Equivalent Semantics for CCS},
   type = {Research},
   year = {1991}
}


@TechReport{Boudol91,
AUTHOR= "G\'erard Boudol",
TITLE= "Lambda-calculi for strict parallel functions",
INSTITUTION= "INRIA",
NUMBER= "de Recherche 1387",
YEAR= 1991,
MONTH= ""}

@TechReport{BenvenisteBerry91,
AUTHOR= "Albert Benveniste and G\'erard Berry",
TITLE= "The synchronous approach to reactive and real-time systems",
INSTITUTION= "INRIA",
NUMBER= "de Recherche 1445",
YEAR= 1991,
MONTH= ""}





@inproceedings{MadelaineVergamini91,
   author = {E. Madelaine and D. Vergamini},
   title = {Specification and Verification of a Sliding Window
		 Protocol in {LOTOS}},
   booktitle = {Formal Description Techniques, IV},
   publisher = "North-Holland",
   series = "IFIP Transactions",
   volume = "C-2",
   editor = {K. R. Parker and G. A. Rose},
   address = "Sydney",
   year = 1991, 
   month = dec
}

@inproceedings{MadelaineVergamini91a,
   author = {E. Madelaine and D. Vergamini},
   title = {Tools for process algebras},
   booktitle = {Formal Description Techniques, IV},
   publisher = "North-Holland",
   series = "IFIP Transactions",
   volume = "C-2",
   editor = {K. R. Parker and G. A. Rose},
   address = "Sydney",
   year = 1991,
   month = dec
}

@TechReport{Bouali92,
  author = 	"A. Bouali",
  key = "fctool"},
  title = 	"Weak and Branching Bisimulation in {\sc FcTool}",
  note = 	"ESPRIT Basic Research Action 3006: CONCUR,
		 deliverable D3.2.2",
  year = 	"1992",
    institution = "INRIA",
    number      = "RR 1575"
}

@inproceedings{BoualiDeSimone92,
   author = {A.~Bouali, R.~de~Simone},
   booktitle = {Fourth  Workshop on Computer-Aided Verification},
   key = {cav92},
   publisher = {Springer-Verlag},
   series = {LNCS (to be published)},
   title = {Symbolic Bisimulation Minimisation},
   year = {1992}
}



@article{Madelaine92,
   author = {E. Madelaine},
   journal = {EATCS Bulletin},
   title = {Verification tools from the {Concur} project},
   volume = 47,
   year = {1992}
}

@inproceedings{GnesiMadelaineRistori92,
   author = {S. Gnesi and E. Madelaine and G. Ristori},
   title = {An exercise in Protocol Verification},
   booktitle = {Third Lotosphere Workshop and Seminar},
   editor = {T. Bolognesi and E. Brinksma and C. Vissers},
   address = "Pisa",
   year = 1992,
   month = september
}

@inproceedings{alto92,
   author = {E. Najm and A. Lakas and A. Serouchni and E. Madelaine
             and R. de Simone},
   title = {ALTO: an interactive transformation tool for LOTOS and LOTOMATON},
   booktitle = {Third Lotosphere Workshop and Seminar},
   editor = {T. Bolognesi and E. Brinksma and C. Vissers},
   address = "Pisa",
   year = 1992,
   month = september
}

@inproceedings{NajmEtAl92,
   author = {P. Cunha and A. Fantechi and B. Mekhanet and E. Najm 
             and J. Queiros},
   title = {Correctness Preserving
             Transformation for the late phases of development},
   booktitle = {Third Lotosphere Workshop and Seminar},
   editor = {T. Bolognesi and E. Brinksma and C. Vissers},
   address = "Pisa",
   year = 1992,
   month = september
}