Construction and Analysis of Distributed Processes

Construction and Analysis of Distributed Processes

Jesse Russell Ronald Cohn

     

бумажная книга



ISBN: 978-5-5081-8992-1

High Quality Content by WIKIPEDIA articles! CADP (Construction and Analysis of Distributed Processes) is a toolbox for the design of communication protocols and distributed systems. CADP is developed by the VASY team at INRIA Rhone-Alpes and connected to various complementary tools. CADP is maintained, regularly improved, and used in many industrial projects.