Horatiu Cirstea, Clément Houtmann, Benjamin Wack
Distributive rho-calculus
WRLA, 2007.
@article{WRLA-2006-CirsteaHW07,
author = "Horatiu Cirstea and Clément Houtmann and Benjamin Wack",
doi = "10.1016/j.entcs.2007.06.010",
journal = "{Electronic Notes in Theoretical Computer Science}",
number = 4,
pages = "95--111",
title = "{Distributive rho-calculus}",
volume = 176,
year = 2007,
}











