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]

Possibly Related Publications

The following publications are possibly variants of this publication: