Marcelo Sihman, Shmuel Katz. A calculus of superimpositions for distributed systems. In AOSD. pages 28-40, 2002. [doi]
@inproceedings{SihmanK02, title = {A calculus of superimpositions for distributed systems}, author = {Marcelo Sihman and Shmuel Katz}, year = {2002}, doi = {10.1145/508386.508391}, url = {http://doi.acm.org/10.1145/508386.508391}, researchr = {https://researchr.org/publication/SihmanK02}, cites = {0}, citedby = {0}, pages = {28-40}, booktitle = {AOSD}, }