Mace: language support for building distributed systems

Charles Edwin Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, Amin Vahdat. Mace: language support for building distributed systems. In Jeanne Ferrante, Kathryn S. McKinley, editors, Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007. pages 179-188, ACM, 2007. [doi]

@inproceedings{KillianABJV07,
  title = {Mace: language support for building distributed systems},
  author = {Charles Edwin Killian and James W. Anderson and Ryan Braud and Ranjit Jhala and Amin Vahdat},
  year = {2007},
  doi = {10.1145/1250734.1250755},
  url = {http://doi.acm.org/10.1145/1250734.1250755},
  researchr = {https://researchr.org/publication/KillianABJV07},
  cites = {0},
  citedby = {0},
  pages = {179-188},
  booktitle = {Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007},
  editor = {Jeanne Ferrante and Kathryn S. McKinley},
  publisher = {ACM},
  isbn = {978-1-59593-633-2},
}