An abstract framework for choreographic testing.

Alex Coto Roberto Guanciale Emilio Tuosto

Published in: J. Log. Algebraic Methods Program. (2021)

Keyphrases

main contribution
multiresolution
low level
theoretical framework
databases
website
data structure
logic programs
bayesian framework
framework enables