Mu-calcul (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Mu-calcul" in French language version.

refsWebsite

Global rank French rank

6doi.org

2^nd place

3^rd place

3springer.com

274^th place

223^rd place

3acm.org

1,185^th place

1,318^th place

2books.google.com

3^rd place

11^th place

1labri.fr

low place

1issn.org

57^th place

4^th place

1psu.edu

207^th place

929^th place

acm.org (Global: 1,185^th place; French: 1,318^th place)

doi.acm.org

(en) A. P. Sistla et E. M. Clarke, « The Complexity of Propositional Linear Temporal Logics », J. ACM, vol. 32, n^o 3,‎ 1^er juillet 1985, p. 733–749 (ISSN 0004-5411, DOI 10.1145/3828.3837, lire en ligne).
(en) M. Y. Vardi, « A Temporal Fixpoint Calculus », ACM, New York, NY, USA,‎ 1^er janvier 1988, p. 250–259 (ISBN 0897912527, DOI 10.1145/73560.73582, lire en ligne).

dl.acm.org

Howard Barringer, Ruurd Kuiper et Amir Pnueli, « A really abstract concurrent model and its temporal logic », POPL 'x86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, ACM,‎ 1986, p. 173–183 (DOI 10.1145/512644.512660, lire en ligne, consulté le 12 mars 2018)

books.google.com (Global: 3^rd place; French: 11^th place)

(en) Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema et Scott Weinstein, Finite Model Theory and Its Applications, Springer, 2007, 437 p. (ISBN 978-3-540-00428-8, lire en ligne), p. 159.
(en) Klaus Schneider, Verification of reactive systems : formal methods and algorithms, Springer, 2004, 602 p. (ISBN 978-3-540-00296-3, lire en ligne), p. 521.

doi.org (Global: 2^nd place; French: 3^rd place)

dx.doi.org

(en) Julian Bradfield et Igor Walukiewicz, « The mu-calculus and Model Checking », dans Handbook of Model Checking, Springer International Publishing, 2018 (ISBN 9783319105741, DOI 10.1007/978-3-319-10575-8_26, lire en ligne), p. 871–919
(en) Damian Niwiński, « On fixed-point clones », Automata, Languages and Programming, Springer, Berlin, Heidelberg, lecture Notes in Computer Science,‎ 15 juillet 1986, p. 464–473 (ISBN 3540167617, DOI 10.1007/3-540-16761-7_96, lire en ligne, consulté le 12 mars 2018)
(en) J. C. Bradfield, « The modal mu-calculus alternation hierarchy is strict », CONCUR '96: Concurrency Theory, Springer, Berlin, Heidelberg, lecture Notes in Computer Science,‎ 26 août 1996, p. 233–246 (ISBN 3540616047, DOI 10.1007/3-540-61604-7_58, lire en ligne, consulté le 12 mars 2018)
(en) A. P. Sistla et E. M. Clarke, « The Complexity of Propositional Linear Temporal Logics », J. ACM, vol. 32, n^o 3,‎ 1^er juillet 1985, p. 733–749 (ISSN 0004-5411, DOI 10.1145/3828.3837, lire en ligne).
(en) M. Y. Vardi, « A Temporal Fixpoint Calculus », ACM, New York, NY, USA,‎ 1^er janvier 1988, p. 250–259 (ISBN 0897912527, DOI 10.1145/73560.73582, lire en ligne).
Howard Barringer, Ruurd Kuiper et Amir Pnueli, « A really abstract concurrent model and its temporal logic », POPL 'x86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, ACM,‎ 1986, p. 173–183 (DOI 10.1145/512644.512660, lire en ligne, consulté le 12 mars 2018)

issn.org (Global: 57^th place; French: 4^th place)

portal.issn.org

(en) A. P. Sistla et E. M. Clarke, « The Complexity of Propositional Linear Temporal Logics », J. ACM, vol. 32, n^o 3,‎ 1^er juillet 1985, p. 733–749 (ISSN 0004-5411, DOI 10.1145/3828.3837, lire en ligne).

labri.fr (Global: low place; French: low place)

« Cours sur le mu calcul au Labri ».

psu.edu (Global: 207^th place; French: 929^th place)

citeseerx.ist.psu.edu

Julian Bradfield et Igor Walukiewicz, The mu-calculus and model-checking (lire en ligne)

springer.com (Global: 274^th place; French: 223^rd place)

link.springer.com

(en) Julian Bradfield et Igor Walukiewicz, « The mu-calculus and Model Checking », dans Handbook of Model Checking, Springer International Publishing, 2018 (ISBN 9783319105741, DOI 10.1007/978-3-319-10575-8_26, lire en ligne), p. 871–919
(en) Damian Niwiński, « On fixed-point clones », Automata, Languages and Programming, Springer, Berlin, Heidelberg, lecture Notes in Computer Science,‎ 15 juillet 1986, p. 464–473 (ISBN 3540167617, DOI 10.1007/3-540-16761-7_96, lire en ligne, consulté le 12 mars 2018)
(en) J. C. Bradfield, « The modal mu-calculus alternation hierarchy is strict », CONCUR '96: Concurrency Theory, Springer, Berlin, Heidelberg, lecture Notes in Computer Science,‎ 26 août 1996, p. 233–246 (ISBN 3540616047, DOI 10.1007/3-540-61604-7_58, lire en ligne, consulté le 12 mars 2018)