{"_id":"7WqrxtfXWefmmCecB","bibbaseid":"aceto-fbregas-garcaprez-inglfsdttir-ortegamalln-ruleformatsfornominalprocesscalculi-2018","downloads":0,"creationDate":"2019-03-14T12:11:49.237Z","title":"Rule Formats for Nominal Process Calculi","author_short":["Aceto, L.","Fábregas, I.","García-Pérez, Á.","Ingólfsdóttir, A.","Ortega-Mallén, Y."],"year":2018,"bibtype":"article","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Luca"],"propositions":[],"lastnames":["Aceto"],"suffixes":[]},{"firstnames":["Ignacio"],"propositions":[],"lastnames":["Fábregas"],"suffixes":[]},{"firstnames":["Álvaro"],"propositions":[],"lastnames":["García-Pérez"],"suffixes":[]},{"firstnames":["Anna"],"propositions":[],"lastnames":["Ingólfsdóttir"],"suffixes":[]},{"firstnames":["Yolanda"],"propositions":[],"lastnames":["Ortega-Mallén"],"suffixes":[]}],"title":"Rule Formats for Nominal Process Calculi","journal":"CoRR","volume":"abs/1807.02081","year":"2018","url":"http://arxiv.org/abs/1807.02081","archiveprefix":"arXiv","eprint":"1807.02081","timestamp":"Mon, 13 Aug 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/corr/abs-1807-02081","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-1807-02081,\n author = {Luca Aceto and\n Ignacio F{\\'{a}}bregas and\n {\\'{A}}lvaro Garc{\\'{\\i}}a{-}P{\\'{e}}rez and\n Anna Ing{\\'{o}}lfsd{\\'{o}}ttir and\n Yolanda Ortega{-}Mall{\\'{e}}n},\n title = {Rule Formats for Nominal Process Calculi},\n journal = {CoRR},\n volume = {abs/1807.02081},\n year = {2018},\n url = {http://arxiv.org/abs/1807.02081},\n archivePrefix = {arXiv},\n eprint = {1807.02081},\n timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/corr/abs-1807-02081},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aceto, L.","Fábregas, I.","García-Pérez, Á.","Ingólfsdóttir, A.","Ortega-Mallén, Y."],"key":"DBLP:journals/corr/abs-1807-02081","id":"DBLP:journals/corr/abs-1807-02081","bibbaseid":"aceto-fbregas-garcaprez-inglfsdttir-ortegamalln-ruleformatsfornominalprocesscalculi-2018","role":"author","urls":{"Paper":"http://arxiv.org/abs/1807.02081"},"downloads":0},"search_terms":["rule","formats","nominal","process","calculi","aceto","fábregas","garcía-pérez","ingólfsdóttir","ortega-mallén"],"keywords":[],"authorIDs":[],"dataSources":["Efw79Fxo6HR8p6xBt"]}