# @string{aap	 = "A para{\^\i}tre"}
# @string{ap	 = "{\`a} para{\^\i}tre"}
# @string{doct	 = "Th{\`e}se de doctorat"}
# @string{hab	 = "Habilitation {\`a} diriger des recherches"}
@String{latin    = "{S}ymp. {L}atin {A}merican {T}heoret. {IN}form., {LATIN}~'"}
@string{aap	 = "To appear"}
@string{ap	 = "to appear"}
@string{atva	 = "Int. Symp. on Automated Tech. for Verification and Analysis"}
@string{concur	 = "Int. Conf. on Concurrency Theory, {CONCUR}~'"}
@string{csl	 = "Computer Science Logic, {CSL}~'"}
@string{dlt	 = "Developments in Language Theory, DLT~'"}
@string{doct	 = "Doctoral thesis"}
@string{elsevier = "Elsevier"}
@string{entcs	 = "Elec. Notes Theor. Comp. Sci."}
@string{formats	 = "Int. Conf. on Formal Modelling and Analysis of Timed Systems"}
@string{fossacs	 = "Foundations of Software Science and Computation Structures, {FOSSACS}~'"}
@string{fsttcs	 = "Foundations of Software Technology and Theoret. Comp. Sci., {FSTTCS}~'"}
@string{gdv	 = "Games in Design and Verification~'"}
@string{hab	 = "Habilitation thesis"}
@string{ic	 = "Inform. Comput."}
@string{icalp    = "Int. Coll. on Automata, Languages and Programming, {ICALP}~'"}
@string{jalc	 = "J.~Automata, Languages and Comput."}
@string{jcss	 = "J.~Comput. System Sci."}
@string{lics	 = "IEEE LICS~'"}
@string{lncs	 = "Lect. Notes Comp. Sci."}
@string{mfcs     = "Symp. on Math. Foundations of Comput. Sci., {MFCS}~'"}
@string{po	 = "Proc. of "}
@string{pot	 = "Proc. of "}
@string{spin	 = "SPIN~'"}
@string{springer = "Springer"}
@string{sv	 = "Springer"}
@string{tacas	 = "Tools and Algorithms for the construction and analysis of systems, {TACAS}~'"}
@phdthesis{GimbertThese,
  author       = {Hugo Gimbert},
  title	       = {Jeux positionnels},
  school       = {{LIAFA}, University Paris~7},
  type         = doct,
  year	       = "En cours d'{\'e}valuation"
}

@phdthesis{BernetThese,
  author       = {Julien Bernet},
  title	       = {Jeux distribu{\'e}s},
  school       = {{LaBRI}, Universit{\'e} Bordeaux~1},
  type         = doct,
  year	       = "Soutenance le 8 novembre 2006"
}

@phdthesis{genest:2005:msc,
  author       = {Blaise Genest},
  title	       = {The odyssey of MSC-graphs},
  school       = {{LIAFA}, University Paris~7},
  type         = doct,
  year	       = 2005,
  url	       = {http://perso.crans.org/~genest/These.pdf}
}


@phdthesis{janin:2005:contribution,
  author       = {D. Janin},
  title	       = {Contribution aux fondements des m\'ethodes formelles: jeux, logique et automates},
  school       = {{LaBRI}, University Bordeaux~1},
  type         = hab,
  month        = nov,
  year	       = 2005
}


@phdthesis{lerman:2005:verification,
  author       = {B. Lerman},
  title	       = {V{\'e}rification et sp{\'e}cification des syst{\`e}mes distribu{\'e}s},
  school       = {{LIAFA}, University Paris~7},
  type         = doct,
  month        = nov,
  year	       = 2005
}

@Phdthesis{zeitoun:2005:concurrence,
  author       = "Marc Zeitoun",
  title	       = "Concurrence et automates",
  school       = "{LIAFA}, University Paris~7",
  type	       = hab,
  year	       = 2005,
  month	       = dec
}
@Article{Wei05,
  author    = {Pascal Weil},
  title	    = {On the logical definability of certain graph poset languages},
  journal   = {J. Automata, Languages and Comput.},
  year	    = 2005,
  note	    = aap
}

@Article(DiGa04ic,
 Author	    = "Diekert, V. and Gastin, P.",
 Title	    = "Local Temporal Logic is Expressively Complete for Cograph Dependence Alphabets",
 Journal    = IC,
 Volume	    = 195,
 Year	    = 2004,
 Pages	    = "30--52"
)

@Article{janin-lenzi-funda-04,
  author    = {D. Janin and G. Lenzi},
  title	    = {On the Relationship Between Monadic and Weak Monadic Second Order Logic on Arbitrary Trees, with Applications to the mu-calculus},
  journal   = {Fundamenta Informaticae},
  year	    = 2004,
  volume    = 61,
  number    = {3,4},
  pages	    = {247--265}
}

@article{courcelle&weil:2005,
  author    = "Courcelle, B. and Weil, Pascal",
  title	    = "The recognizability of sets of graphs is a robust property",
  journal   = tcs,
  volume    = 342,
  pages	    = "173--228",
  year	    = 2005
}

@article{diekert&gastin:2006,
  author    = "Diekert, V. and Gastin, P.",
  title	    = "Pure future local temporal logics are expressively complete for {M}azurkiewicz traces",
  journal   = IC,
  volume    = 204,
  pages     = "1597--1619",
  year	    = 2006
}


@article(diekert&gastin:2006:b,
  author    = "Diekert, V. and Gastin, P.",
  title	    = "From local to global temporal logics over {M}azurkiewicz traces",
  journal   = TCS,
  volume    = 356,
  number    = "1-2",
  year	    = 2006,
  pages	    = "126--135",
  note	    = "In honour of Professor Christian Choffrut on the occasion of his 60th birthday"
)

@article(droste&gastin:2006:oen,
  author    = "Droste, M. and Gastin, P.",
  title	    = "On aperiodic and star-free formal power series in partially commuting variables",
  journal   = TOCS,
  year	    = 2006,
  note	    = "to appear. Also available as Research Report
                  LSV-05-12, " # "Laboratoire Sp{\'e}cification et
                  V{\'e}rification, ENS Cachan, France, July 2005."
)

@article(droste&gastin:2007:weighted,
  author    = "Droste, M. and Gastin, P.",
  title	    = "Weighted automata and weighted logics",
  journal   = TCS,
  year	    = 2007,
  note	    = "Special issue of ICALP'05. To appear. " # "Also
                  available as Research Report LSV-05-13, " #
                  "Laboratoire Sp{\'e}cification et V{\'e}rification, ENS
                  Cachan, France, July 2005."
)

@article{esik&weil:2005:aelgebraic,
  author    = "{\'E}sik, Z. and Weil, Pascal",
  title	    = "Algebraic recognizability of regular tree languages",
  journal   = tcs,
  volume    = 340,
  pages	    = "291--321",
  year	    = 2005
}


@article{genest&kuske&muscholl:2006,
  author    = {Blaise Genest and Dietrich Kuske and Anca Muscholl},
  title	    = {A {K}leene Theorem and Model Checking for a Class of Communicating Automata},
  journal   = ic,
  volume    = 204,
  number    = 6,
  year	    = 2006,
  pages	    = {920--956}
}

@Article{genest&muscholl&seidl&zeitoun:2006:jcss,
  author    = "Blaise Genest and Anca Muscholl and Helmut Seidl and Marc Zeitoun",
  title	    = "Infinite-state {H}igh level {MSC}s: realizability and model-checking",
  journal   = jcss,
  year	    = 2006,
  publisher = "Elsevier",
  doi	    = "doi:10.1016/j.jcss.2005.09.007",
  volume    = 72,
  number    = 4,
  month	    = 2006,
  pages	    = "617--647"
}

@article{muscholl&walukiewicz:2005:np:ltl,
  author    = {Anca Muscholl and Igor Walukiewicz},
  title	    = {An {NP}-complete fragment of {LTL}},
  journal   = {International Journal of Foundations of Computer Science},
  year	    = 2005,
  volume    = 16,
  number    = 4,
  pages	    = {743--455}
}

@article{niwinski&walukiewicz:2005,
  author    = {Damian Niwi\'nski and Igor Walukiewicz},
  title	    = {Deciding Nondeterministic Hierarchy of Deterministic Tree Automata},
  journal   = ENTCS,
  year	    = 2005,
  volume    = 123,
  pages	    = {195--208}
}


@Article{graedel&walukiewicz:2006,
  author = 	 {Erich Graedel and Igor Walukiewicz},
  title = 	 { Positional determinacy of games with infinitely many priorities},
  journal = 	 {Methods of Logic in Computer Science},
  year = 	 2006,
  note = 	 {to appear}
}

@InProceedings{bouquet&serre&walukiewicz:2003:pushdown:a,
  author    = {A. Bouquet and O. Serre and I. Walukiewicz},
  title	    = {Pushdown games with the unboundedness and regular conditions},
  booktitle = pot # "23rd " # fsttcs # 03,
  year	    = 2003,
  series    = lncs,
  pages	    = {88--99},
  volume    = 2914
}

@InProceedings{bojanczyk&walukiewicz:2004:a,
  author    = {Mikolaj Bojanczyk and Igor Walukiewicz},
  title	    = {Characterizing {EF} and {EX} tree logics},
  booktitle = Pot # "15th " # concur # 04,
  year	    = 2004,
  series    = lncs,
  Publisher = springer,
  volume    = 3170,
  pages	    = {131--145}
}

@InProceedings{dawar&janin:2004:a,
  author    = {Anuj Dawar and David Janin},
  title	    = {On the bisimulation invariant fragment of Monadic ${\Sigma}_1$ in the finite},
  booktitle = pot # "24th " # fsttcs # 04,
  pages	    = {224--236},
  year	    = 2004,
  volume    = 3328
}

@inproceedings(diekert&gastin:2004,
  author    = "Diekert, V. and Gastin, P.",
  title	    = "Pure future local temporal logics are expressively complete for {M}azurkiewicz traces",
  booktitle = pot # "6th " # latin # 04,
  publisher = springer,
  series    = lncs,
  Volume    = 2976,
  year	    = 2004,
  pages	    = "232--241"
)

@InProceedings{ly:2004:compositional:verification:a,
  author    = {Ly, Olivier},
  title	    = {Compositional Verification: Decidability Issues Using Graph Substitutions},
  booktitle = pot # mfcs # 04,
  series    = lncs,
  Publisher = springer,
  pages	    = {537--549},
  year	    = 2004,
  volume    = 3153
}

@InProceedings{mohalik&walukiewicz:2003:distributed:games:a,
  author    = {Swarup Mohalik and Igor Walukiewicz},
  title	    = {Distributed Games},
  booktitle = pot # "23rd " # fsttcs # 03,
  year	    = 2003,
  series    = lncs,
  pages	    = {338--351},
  volume    = 2914
}

@InProceedings{muscholl&walukiewicz:2004:np:ltl:a,
  author    = {Anca Muscholl and Igor Walukiewicz},
  title	    = {An {NP}-complete fragment of {LTL}},
  booktitle = pot # dlt # 04,
  year	    = 2004,
  series    = lncs,
  Publisher = springer,
  volume    = 3340,
  pages	    = {334--344}
}

@inproceedings{niwinski&walukiewicz:2005:a,
  author    = {Damian Niwi\'nski and Igor Walukiewicz},
  title	    = {Deciding  Nondeterministic Hierarchy  of Deterministic Tree Automata},
  booktitle = {Proceedings of WoLLIC'04},
  series    = entcs,
  editor    = {de Queiroz, R. and C\'egielski, P.},
  year	    = {2005},
  pages	    = {195--208},
  Volume    = 123,
  publisher = {Elsevier}
}

@InProceedings{genest&kuske&muscholl&peled:2005:snapshot:a,
  author    = {B. Genest and D. Kuske and A. Muscholl and D. Peled},
  title	    = {Snapshot verification},
  booktitle = pot # tacas # 05,
  year	    = 2005,
  series    = lncs,
  volume    = 3440,
  publisher = springer
}

@InProceedings{genest:2005:a,
  author    = {B. Genest},
  title	    = {Compositional Message Sequence Charts ({CMSCs}) are better to Implement than {MSCs}},
  booktitle = pot # tacas # 05,
  year	    = 2005,
  series    = lncs,
  volume    = 3440,
  pages	    = {510--525},
  publisher = springer
}

@InProceedings{genest&kuske&muscholl:2004:a,
  author    = {B. Genest and D. Kuske and A. Muscholl},
  title	    = {A {K}leene Theorem and Model Checking for a Class of Communicating Automata},
  booktitle = pot # dlt # 04,
  year	    = 2004,
  series    = lncs,
  volume    = 3340,
  pages	    = "30--48",
  publisher = springer
}

@InProceedings{genest&minea&muscholl&peled:2004:a,
  author    = {B. Genest and M. Minea and A. Muscholl and D. Peled},
  title	    = {Specifying and Verifying Partial Order Properties Using Template {MSCs}},
  booktitle = pot # fossacs # 04,
  year	    = 2004,
  series    = lncs,
  volume    = 2987,
  publisher = springer,
  pages	    = "195--210"
}

@inproceedings{gimbert:2004:a,
  author    = {Hugo Gimbert},
  title	    = {Parity and Exploration Games on Infinite Graphs},
  booktitle = pot # csl # 04,
  year	    = 2004,
  series    = lncs,
  volume    = 3210,
  publisher = springer,
  pages	    = {56--70}
}

@inproceedings{gimbert&zielonka:2004:a,
  author    = {Hugo Gimbert and Wies{\l}aw Zielonka},
  title	    = {When Can You Play Positionally?},
  booktitle = pot # mfcs # 04,
  year	    = 2004,
  series    = lncs,
  volume    = 3153,
  publisher = springer,
  pages	    = {686--697}
}

@inproceedings{gimbert&zielonka:2004:b,
  author    = {Hugo Gimbert and Wies{\l}aw Zielonka},
  title	    = {Discounting Infinite Games but How and Why?},
  booktitle = pot # gdv # 04,
  year	    = 2004,
  series    = entcs,
  editor    = {Luca de Alfaro},
  pages	    = {3--9},
  Volume    = 119,
  publisher = {Elsevier}
}

@InProceedings{helouet&zeitoun&degorre:2004:a,
  author    = "Lo{\"\i}c H{\'e}lou{\"e}t and Marc Zeitoun and Aldric Degorre",
  title	    = "Scenarios and Covert channels: another game...",
  booktitle = pot # gdv # 04,
  year	    = 2004,
  series    = entcs,
  publisher = elsevier,
  editor    = {Luca de Alfaro},
  pages	    = "93--116",
  Volume    = 119
}

@InProceedings{walukiewicz:2004:a,
  author    = {Igor Walukiewicz},
  title	    = {A landscape with games in the background},
  booktitle = pot # lics # 04,
  year	    = 2004,
  pages	    = {356--366}
}

@InProceedings{weil:2004:aelgebraic:a,
  author    = "P. Weil",
  title	    = "Algebraic recognizability of languages",
  booktitle = pot # mfcs # 04,
  year	    = 2004,
  publisher = springer,
  volume    = 3153,
  series    = lncs,
  pages	    = "149--175"
}

@inproceedings{zielonka:2004:a,
  author    = {Wies{\l}aw Zielonka},
  title	    = {Perfect-information Stochastic Parity Games},
  booktitle = pot # fossacs # 04,
  year	    = 2004,
  series    = lncs,
  volume    = 2987,
  publisher = springer,
  pages	    = {499--513}
}

@inproceedings{berard&gastin&petit:2006:intersection:a,
  author    = {B{\'e}rard, B{\'e}atrice and Gastin, Paul and Petit, Antoine},
  title	    = {Intersection of regular signal-event (timed) languages},
  booktitle = Pot # "4th " # FORMATS # " (FORMATS'06)",
  editor    = {Asarin, Eug{\`e}ne and Bouyer, Patricia},
  publisher = SPRINGER,
  series    = LNCS,
  volume    = 4202,
  year	    = 2006,
  pages	    = {52--66}
}

@inproceedings{berard&gastin&petit:2006:refinements:a,
  author    = {B{\'e}rard, B{\'e}atrice and Gastin, Paul and Petit, Antoine},
  title	    = {Refinements and abstractions of signal-event (timed) languages},
  booktitle = Pot # "4th " # FORMATS # " (FORMATS'06)",
  editor    = {Asarin, Eug{\`e}ne and Bouyer, Patricia},
  publisher = SPRINGER,
  series    = LNCS,
  volume    = 4202,
  year	    = 2006,
  pages	    = {67--81}
}

@inproceedings{bernet&janin:2005:a,
  author    = {J. Bernet and D. Janin},
  title	    = {Tree Automata and Discrete Distributed Games},
  Booktitle = {Fundamentals of Computation Theory},
  series    = lncs,
  Editor    = {Maciej Li\'skiewicz and R{\"u}diger Reischuk},
  pages	    = {540--551},
  publisher = sv,
  volume    = 3623,
  year	    = 2005
}

@inproceedings{bernet&janin:2006:distributed:a,
  author    = {J. Bernet and D. Janin},
  title	    = {On Distributed Program Specification and Synthesis in Architectures with Cycles},
  booktitle = {26th {IFIP WG} 6.1 International Conference on Formal Methods for Networked and Distributed Systems ({FORTE} 2006)},
  editor    = {Najm, E. and Pradat-Peyre, J.-F. and Vigui{\'e} Donzeau-Gouge, V.},
  pages	    = {175--190},
  publisher = sv,
  series    = lncs,
  volume    = 4229,
  year	    = 2006
}

@inproceedings{berwanger&janin:2006:a,
  author    = {D. Berwanger and D. Janin},
  title	    = {Automata on Directed Graphs: Edge Versus Vertex Marking},
  booktitle = {Third Int. Conf. on Graph Transformations (ICGT)},
  publisher = sv,
  series    = lncs,
  volume    = 4128,
  pages	    = {46--60},
  year	    = 2006
}

@inproceedings{bhateja&gastin&mukund:2006:a,
  author    = {Bhateja, Puneet and Gastin, Paul and Mukund, Madhavan},
  title	    = {A fresh look at testing for asynchronous communication},
  booktitle = Pot # "4th " # ATVA # " (ATVA'06)",
  editor    = {Graf, Susanne and Zhang, Wenhui},
  publisher = SPRINGER,
  series    = LNCS,
  volume    = 4218,
  year	    = 2006,
  note	    = {To appear}
}

@inproceedings(droste&gastin:2005:weighted,
  author    = "Droste, M. and Gastin, P.",
  title	    = "Weighted automata and weighted logics",
  booktitle = Pot # "32nd " # icalp # 05,
  editor    = "Italiano, G. F.",
  publisher = SPRINGER,
  series    = LNCS,
  number    = 3580,
  year	    = 2005,
  pages	    = "513--525"
)

@inproceedings(gastin&kuske:2005,
  author    = "Gastin, P. and Kuske, D.",
  title	    = "Uniform satisfiability problem for local temporal logics over {M}azurkiewicz traces",
  booktitle = Pot # "16th " # concur # 05,
  editor    = "de Alfaro, L.",
  publisher = SPRINGER,
  series    = LNCS,
  number    = 3653,
  year	    = 2005,
  pages	    = "533--547"
)


@inproceedings{gastin&lerman&zeitoun:2004:distributed:a,
  author    = "Gastin, P. and Lerman, B. and Zeitoun, M.",
  title	    = "Distributed games with causal memory are decidable for series-parallel systems",
  booktitle = pot # "24th " # fsttcs # 04,
  publisher = springer,
  series    = lncs,
  year	    = 2004,
  volume    = 3328,
  pages	    = "275--286"
}

@inproceedings{gastin&lerman&zeitoun:2004:distributed:b,
  author    = "Gastin, P. and Lerman, B. and Zeitoun, M.",
  title	    = "Distributed games and distributed control for asynchronous systems",
  booktitle = pot # "6th " # latin # 04,
  editor    = "Farach-Colton, M.",
  publisher = springer,
  pages	    = "455--465",
  series    = lncs,
  year	    = 2004,
  volume    = 2976
}

@InProceedings{gastin&moro&zeitoun:2004:minimization:spin:a,
  Author    = "Gastin, P. and Moro, P. and Zeitoun, M.",
  Title	    = "Minimization of counterexamples in {SPIN}",
  booktitle = "Model Checking Software: " # pot # "11th " # spin # 04,
  Publisher = springer,
  Series    = lncs,
  Year	    = 2004,
  Volume    = 2989,
  Pages	    = "92--108"
}

@inproceedings{gastin&sznajder&zeitoun:2006:distributed:a,
  Author    = {Gastin, Paul and Sznajder, Nathalie and Zeitoun, Marc},
  Title	    = {Distributed synthesis for well-connected architectures},
  BookTitle = Pot # "26th " # fsttcs # 06,
  Editor    = {Garg, Naveen and Arun-Kumar, S.},
  Publisher = springer,
  Series    = lncs,
  Year	    = 2006,
  note	    = {To appear}
}

@inproceedings{genest&muscholl:2005:a,
  author    = {Blaise Genest and Anca Muscholl},
  title	    = {Message Sequence Charts: A Survey},
  booktitle = {5th Int. Conf. on Application of Concurrency to System Design, ACSD'05},
  year	    = 2005,
  pages	    = {2--4},
  ee	    = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2005.25},
  note	    = {Invited talk},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{genest&muscholl:2006:a,
  author    = {Blaise Genest and Anca Muscholl},
  title	    = {Constructing Exponential-size Deterministic {Z}ielonka Automata},
  booktitle = Pot # "33rd " # icalp # 06,
  year	    = 2006,
  series    = LNCS,
  volume    = 4052,
  pages	    = {565--576}
}

@inproceedings{genest:2005:b,
  author    = {Blaise Genest},
  title	    = {On Implementation of Global Concurrent Systems with Local Asynchronous Controllers},
  booktitle = pot # "16th " # concur # 05,
  year	    = 2005,
  series    = lncs,
  volume    = 3653,
  pages	    = {443-457},
  ee	    = {http://dx.doi.org/10.1007/11539452_34},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{gimbert&zielonka:2005:games:a,
  author    = {H. Gimbert and W. Zielonka},
  title	    = {Games where you can play optimally without any memory},
  booktitle = pot # "16th " # concur # 05,
  year	    = 2005,
  series    = lncs,
  volume    = 3653,
  pages	    = {428--442},
  publisher = sv
}

@inproceedings{gimbert&zielonka:2006:deterministic:a,
  author    = {H. Gimbert and W. Zielonka},
  title	    = {Deterministic priority mean-payoff games as limits of discounted games},
  booktitle = Pot # "33rd " # icalp # 06,
  year	    = 2006,
  series    = lncs,
  volume    = {4052, part II},
  publisher = sv,
  pages	    = {312--323}
}

@inproceedings{knapik&niwinski&urzyczyn&walukiewicz:2005:unsafe:a,
  author    = {T. Knapik and D. Niwinski and P. Urzyczyn and I. Walukiewicz},
  title	    = {Unsafe grammars and panic automata},
  booktitle = Pot # "32nd " # icalp # 05,
  year	    = 2005,
  pages	    = {1450--1461},
  series    = lncs,
  volume    = 3580
}

@inproceedings{lasota&walukiewicz:2005:a,
  author    = {Slawomir Lasota and Igor Walukiewicz},
  title	    = {Alternating Timed Automata},
  booktitle = pot # FOSSACS # 05,
  pages	    = {250--265},
  year	    = 2005,
  number    = 3441,
  series    = lncs,
  note	    = "Journal version available from WWW"
}


@inproceedings{murawski&ong&walukiewicz:2005:a,
  author    = {Andrzej Murawski and Luke Ong and Igor Walukiewicz},
  title	    = {Idealized {Algol} with Ground Recursion, and {DPDA} Equivalence},
  booktitle = Pot # "32nd " # icalp # 05,
  year	    = 2005,
  pages	    = {917--929},
  series    = lncs,
  volume    = 3580
}

@inproceedings{murawski&walukiewicz:2005:a,
  author    = {Andrzej Murawski and Igor Walukiewicz},
  title	    = {Third-Order Idealized {Algol} with Iteration is Decidable},
  booktitle = pot # FOSSACS # 05,
  year	    = 2005,
  series    = lncs,
  pages	    = {202--218},
  volume    = 3441
}

@inproceedings{walukiewicz:2005:from:a,
  author    = {Igor Walukiewicz},
  title	    = {From logic to games},
  booktitle = pot # "25th " # fsttcs # 05,
  pages	    = {78--91},
  year	    = 2005,
  volume    = 3821,
  series    = lncs
}

@inproceedings{zielonka:2005:a,
  author    = {W. Zielonka},
  title	    = {An invitation to play},
  booktitle = pot # mfcs # 05,
  year	    = 2005,
  series    = LNCS,
  volume    = 3618,
  publisher = sv,
  pages	    = {58--70}
}
@TechReport{BerJan04,
  author      = {Julien Bernet and David Janin},
  title	      = {Automata theory for distributed games},
  institution = {LaBRI},
  year	      = 2004
}

@Unpublished{CPW05,
  author      = {J.-M. Couvreur and D. Poitrenaud and P. Weil},
  title	      = {Unfoldings for general {P}etri nets},
  note	      = {submitted}
}