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, }