J
[JW96] David Janin et Igor Walukiewicz. On the Expressive Completeness of the Propositional Mu-Calculus With Respect to Monadic Second Order Logic. In CONCUR'96, Lecture Notes in Computer Science 1119, pages 263-277. Springer-Verlag, août 1996. 
@inproceedings{concur1996-JW,
  author =              {Janin, David and Walukiewicz, Igor},
  title =               {On the Expressive Completeness of the Propositional
                         Mu-Calculus With Respect to Monadic Second Order
                         Logic},
  editor =              {Montanari, Ugo and Sassone, Vladimiro},
  booktitle =           {{P}roceedings of the 7th {I}nternational
                         {C}onference on {C}oncurrency {T}heory
                         ({CONCUR}'96)},
  acronym =             {{CONCUR}'96},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1119},
  pages =               {263-277},
  year =                {1996},
  month =               aug,
}
Liste des auteurs