PrDK: Protocol Programming with Automata.
Sung-Shik T. Q. JongmansFarhad ArbabPublished in: TACAS (2016)
Keyphrases
- programming language
- formal analysis
- lightweight
- neural network
- computer programming
- development environment
- cellular automata
- finite state
- programming course
- turing machine
- coloured petri nets
- regular expressions
- computer programs
- multi party
- software engineering
- database
- authentication protocol
- communication protocol
- finite automata
- tcp ip
- ip address
- network protocols