A singleton failures semantics for Communicating Sequential Processes.
Christie BoltonJim DaviesPublished in: Formal Aspects Comput. (2006)
Keyphrases
- communication channels
- logic programming
- neural network
- input output
- case study
- feature selection
- information technology
- real time
- default reasoning
- formal semantics
- operational semantics
- dynamic aspects
- social networks
- database systems
- genetic algorithm
- data mining
- data exchange
- specification language
- failure rate
- failure detection