Login / Signup

Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA.

Michael GüntherJohann SchusterMarkus Siegle
Published in: DYADEM-FTS@EDCC (2010)
Keyphrases
  • process algebra
  • concurrent systems
  • formal methods
  • model checking
  • formal specification
  • asynchronous circuits
  • web services composition
  • database
  • high level
  • general purpose
  • fine grained