Keywords

#construction_and_analysis_of_distributed_processes

Construction and Analysis of Distributed Processes

CADP is a toolbox for the design of communication protocols and distributed systems. CADP is developed by the CONVECS team at INRIA Rhone-Alpes and connected to various complementary tools. CADP is maintained, regularly improved, and used in many industrial projects.

Thu 4th

Provided by Wikipedia

Learn More

This keyword could refer to multiple things. Here are some suggestions:

Construction and Analysis of Distributed Processes Model checking Reachability analysis Concurrency (computer science) NuSMV Distributed ledger Stochastic process Dirichlet process Distributed generation Communicating sequential processes
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.