Translation of CCS into CSP, Correct up to Strong Bisimulation.

Gerard Ekembe Ngondi Vasileios Koutavas Andrew Butterfield

Published in: SEFM (2021)

Keyphrases

constraint satisfaction problems
machine translation
constraint propagation
decomposition methods
constraint satisfaction
high level
special case
query translation
correct answers
equivalence relation
statistical machine translation
constraint solving
language resources