CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes

@inproceedings{Garavel2007CADP2A,
  title={CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes},
  author={Hubert Garavel and Radu Mateescu and Fr{\'e}d{\'e}ric Lang and Wendelin Serwe},
  booktitle={CAV},
  year={2007}
}
Cadp(Construction and Analysis of Distributed Processes)1 [2,3] is a toolbox for specification, rapid prototyping, verification, testing, and performance evaluation of asynchronous systems (concurrent processes with message-passing communication). The developments of Cadp during the last five years led to a new release named Cadp 2006 “Edinburgh” (as a tribute to the achievements in concurrency theory of the Laboratory for Foundations of Computer Science) that supersedes the previous version… CONTINUE READING
Highly Influential
This paper has highly influenced 27 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 235 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 150 extracted citations

236 Citations

02040'09'12'15'18
Citations per Year
Semantic Scholar estimates that this publication has 236 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…