Branching Pomsets for Choreographies.

Luc Edixhoven Sung-Shik Jongmans José Proença Guillermina Cledou

Published in: ICE (2022)

Keyphrases

branch and bound
search algorithm
data mining
database systems
training data
dynamic programming
model checking