Login / Signup

Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models.

Ashok Argent-KatwalaJeremy T. BradleyNicholas J. Dingle
Published in: WOSP (2004)
Keyphrases
  • regular expressions
  • pattern matching
  • process algebra
  • databases
  • machine learning
  • natural language
  • query language
  • response time
  • model checking
  • finite automata