CSP is used for the description and representation of concurrent systems, how it is used in practice (theoretically and programmatically)?
What are the application areas (other than concurrent and parallel systems) where it is used?
Asked By : user1125516
Answered By : Vijay D
One of the most celebrated applications of CSP and was the use of the CSP tool FDR in the analysis of the Needham-Schroeder protocol. It has had other applications in analyzing protocols and software design.
Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR, Gavin Lowe, TACAS 1996
Using CSP to detect errors in the TMN protocol , Gavin Lowe , Bill Roscoe, IEEE Transactions on Software Engineering 1997
Model-Checking CSP-Z: Strategy, Tool Support and Industrial Application, Science of Computer Programming 2001
Practical Application of CSP and FDR to Software Design, Jonathan Lawrence, Communicating Sequential Processes. The First 25 Years, 2005
Best Answer from StackOverflow
Question Source : http://cs.stackexchange.com/questions/10398
0 comments:
Post a Comment
Let us know your responses and feedback