Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous

Hugues Evrard, Frédéric Lang. Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous. Journal of Logic and Algebraic Programming, 88:121-153, 2017. [doi]

Abstract

Abstract is missing.