On action permutation and progress for a type system with partially commutative asynchronous binary sessions.

Zhenguo YangFarong ZhongJinfang ZhangTiantian Song
Published in: Int. J. Comput. Sci. Eng. (2015)
Keyphrases
  • data sets
  • search algorithm
  • non binary
  • genetic algorithm
  • special case
  • action selection