Sign In

Login

Password

Forgot Password ? Sign Up

Construction and Analysis of Distributed Processes (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Construction and Analysis of Distributed Processes" in English language version.

refsWebsite
Global rank English rank
9inria.fr
4,903rd place
3,679th place
2rers-challenge.org
low place
low place
1web.archive.org
1st place
1st place
1ercim.eu
low place
low place
1etaps.org
low place
low place

ercim.eu (Global: low place; English: low place)

ercim-news.ercim.eu

etaps.org (Global: low place; English: low place)

inria.fr (Global: 4,903rd place; English: 3,679th place)

cadp.inria.fr

vasy.inria.fr

  • Garavel H, Lang F, Mateescu R, Serwe W: CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes International Journal on Software Tools for Technology Transfer (STTT), 15(2):89-107, April 2013
  • "Radu Mateescu wins the IT Award granted by Fondation Rhône-Alpes Futur".

hal.inria.fr

  • H. Garavel. OPEN/CÆSAR: An Open Software Architecture for Verification, Simulation, and Testing, in Proceedings of the First International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'98 (Lisbon, Portugal), Berlin, B. Steffen (editor), Lecture Notes in Computer Science, Full version available as Inria Research Report RR-3352, Springer Verlag, March 1998, vol. 1384, p. 68–84.
  • H. Garavel, F. Lang. SVL: a Scripting Language for Compositional Verification, in: Proceedings of the 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems FORTE'2001 (Cheju Island, Korea), M. Kim, B. Chin, S. Kang, D. Lee (editors), Full version available as Inria Research Report RR-4223, Kluwer Academic Publishers, IFIP, August 2001, p. 377–392.

inria.fr

rers-challenge.org (Global: low place; English: low place)

web.archive.org (Global: 1st place; English: 1st place)