A calculus of superimpositions for distributed systems

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