Construction and Analysis of Distributed Processes

Known as: CADP 
CADP (Construction and Analysis of Distributed Processes) is a toolbox for the design of communication protocols and distributed systems. CADP is… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1996-2017
051019962017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2012
Review
2012
CADP (Construction and Analysis of Distributed Processes) is a comprehensive software toolbox that implements the results of… (More)
  • figure 4
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
Review
2011
Review
2011
Cadp (Construction and Analysis of Distributed Processes) is a comprehensive software toolbox that implements the results of… (More)
  • figure 1
Is this relevant?
2009
2009
Service-oriented computing has emerged as a new software development paradigm that enables implementation of Web accessible… (More)
Is this relevant?
2009
2009
A new compact model of squeeze-film damping is developed based on the numerical solution of the Boltzmann kinetic equation. It… (More)
  • figure 1
  • table 1
  • table 2
  • figure 2
  • figure 4
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Cadp (Construction and Analysis of Distributed Processes) [2, 3] is a toolbox for specification, rapid prototyping, verification… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
The verification of concurrent finite-state systems by model-checking often requires to generate (a large part of) the state… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
The objective of this paper is to show how veriication of dense-time systems modeled as timed automata can be performed using… (More)
  • figure 8
  • figure 10
  • figure 25
  • figure 30
  • figure 31
Is this relevant?
Highly Cited
1997
Highly Cited
1997
In this report we describe an experiment in automatic generation of test suites for protocol testing. We report the results… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
In this paper we attempt to demonstrate that on-they techniques , developed in the context of veriication, can help in deriving… (More)
Is this relevant?