Login / Signup

An Algorithmic Framework for Synthesis of Concurrent Programs.

E. Allen EmersonRoopsha Samanta
Published in: ATVA (2011)
Keyphrases
  • business process
  • process model
  • concurrent programs
  • multi agent systems
  • distributed systems
  • machine learning
  • knowledge based systems