An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA.
Jens BachmannMartin RiedlJohann SchusterMarkus SieglePublished in: SOFSEM (2009)
Keyphrases
- elimination algorithm
- process algebra
- formal specification
- concurrent systems
- asynchronous circuits
- model checking
- formal methods
- probabilistic inference
- knowledge representation
- artificial intelligence
- communication protocols
- expert systems
- programming environment
- web services composition
- video sequences
- image sequences
- information systems