@InProceedings{lu:pastry, author = {Tianxiang Lu and Stephan Merz and Christoph Weidenbach}, title = {Towards Verification of the Pastry Protocol Using TLA\textsuperscript{+}}, booktitle = {Formal Techniques for Distributed Systems (FORTE 2011)}, pages = {244-258}, year = 2011, editor = {Roberto Bruni and J{\"u}rgen Dingel}, volume = 6722, series = {LNCS}, address = {Reykjavik, Iceland}, publisher = {Springer}, }