Process algebra semantics & reachability analysis for micro-architectural models of communication fabrics.
Sanne WoudaSebastiaan J. C. JoostenJulien SchmaltzPublished in: MEMOCODE (2015)
Keyphrases
- process algebra
- reachability analysis
- model checking
- communication protocols
- architectural models
- temporal logic
- formal specification
- timed automata
- concurrent systems
- formal methods
- behavioral models
- asynchronous circuits
- communication networks
- markov decision processes
- data model
- databases
- web services composition
- distributed systems
- data structure
- machine learning