@InProceedings{aceto_et_al:LIPIcs.CONCUR.2017.10, author = {Aceto, Luca and F\'{a}bregas, Ignacio and Garc{\'\i}a-P\'{e}rez, \'{A}lvaro and Ing\'{o}lfsd\'{o}ttir, Anna and Ortega-Mall\'{e}n, Yolanda}, title = {{Rule Formats for Nominal Process Calculi}}, booktitle = {28th International Conference on Concurrency Theory (CONCUR 2017)}, pages = {10:1--10:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-048-4}, ISSN = {1868-8969}, year = {2017}, volume = {85}, editor = {Meyer, Roland and Nestmann, Uwe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2017.10}, URN = {urn:nbn:de:0030-drops-77869}, doi = {10.4230/LIPIcs.CONCUR.2017.10}, annote = {Keywords: nominal sets, nominal structural operational semantics, process algebra, nominal transition systems, scope opening, rule formats} }