Login / Signup

Abstraction as a Unifying Link for Formal Approaches to Concurrency.

Cliff B. Jones
Published in: SEFM (2012)
Keyphrases
  • high level
  • hidden markov models
  • alternative approaches
  • strengths and weaknesses
  • relational databases
  • evolutionary algorithm
  • formal methods