A static verification framework for message passing in Go using behavioural types.

Julien Lange Nicholas Ng Bernardo Toninho Nobuko Yoshida

Published in: ICSE (2018)

Keyphrases

message passing
belief propagation
distributed systems
markov random field
probabilistic inference
probabilistic model
inference in graphical models