David Sabel, Manfred Schmidt-Schauß. Observing Success in the Pi-Calculus. In Yuki Chiba, Santiago Escobar, Naoki Nishida, David Sabel, Manfred Schmidt-Schauß, editors, 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE 2015, July 2, 2015, Warsaw, Poland. Volume 46 of OASICS, pages 31-46, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]
@inproceedings{SabelS15, title = {Observing Success in the Pi-Calculus}, author = {David Sabel and Manfred Schmidt-Schauß}, year = {2015}, doi = {10.4230/OASIcs.WPTE.2015.31}, url = {http://dx.doi.org/10.4230/OASIcs.WPTE.2015.31}, researchr = {https://researchr.org/publication/SabelS15}, cites = {0}, citedby = {0}, pages = {31-46}, booktitle = {2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE 2015, July 2, 2015, Warsaw, Poland}, editor = {Yuki Chiba and Santiago Escobar and Naoki Nishida and David Sabel and Manfred Schmidt-Schauß}, volume = {46}, series = {OASICS}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, isbn = {978-3-939897-94-1}, }