Sign in

Branching Pomsets for Choreographies.

Luc EdixhovenSung-Shik JongmansJosé ProençaGuillermina Cledou
Published in: ICE (2022)
Keyphrases
  • branch and bound
  • search algorithm
  • data mining
  • database systems
  • training data
  • dynamic programming
  • model checking