{"_id":"Pr8BDJmi64S4iD9rT","bibbaseid":"aceto-goriac-inglfsdttir-metasosamaudebasedsosmetatheoryframework-2013","downloads":0,"creationDate":"2016-02-18T15:10:12.117Z","title":"Meta SOS - A Maude Based SOS Meta-Theory Framework","author_short":["Aceto, L.","Goriac, E.","Ingólfsdóttir, A."],"year":2013,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Luca"],"propositions":[],"lastnames":["Aceto"],"suffixes":[]},{"firstnames":["Eugen-Ioan"],"propositions":[],"lastnames":["Goriac"],"suffixes":[]},{"firstnames":["Anna"],"propositions":[],"lastnames":["Ingólfsdóttir"],"suffixes":[]}],"title":"Meta SOS - A Maude Based SOS Meta-Theory Framework","booktitle":"Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, EXPRESS/SOS 2013, Buenos Aires, Argentina, 26th August, 2013.","pages":"93–107","year":"2013","crossref":"DBLP:journals/corr/BorgstromL13","url":"https://doi.org/10.4204/EPTCS.120.8","doi":"10.4204/EPTCS.120.8","timestamp":"Wed, 12 Sep 2018 01:05:15 +0200","biburl":"https://dblp.org/rec/bib/journals/corr/AcetoGI13","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:journals/corr/AcetoGI13,\n author = {Luca Aceto and\n Eugen{-}Ioan Goriac and\n Anna Ing{\\'{o}}lfsd{\\'{o}}ttir},\n title = {Meta {SOS} - {A} Maude Based {SOS} Meta-Theory Framework},\n booktitle = {Proceedings Combined 20th International Workshop on Expressiveness\n in Concurrency and 10th Workshop on Structural Operational Semantics,\n {EXPRESS/SOS} 2013, Buenos Aires, Argentina, 26th August, 2013.},\n pages = {93--107},\n year = {2013},\n crossref = {DBLP:journals/corr/BorgstromL13},\n url = {https://doi.org/10.4204/EPTCS.120.8},\n doi = {10.4204/EPTCS.120.8},\n timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},\n biburl = {https://dblp.org/rec/bib/journals/corr/AcetoGI13},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aceto, L.","Goriac, E.","Ingólfsdóttir, A."],"key":"DBLP:journals/corr/AcetoGI13","id":"DBLP:journals/corr/AcetoGI13","bibbaseid":"aceto-goriac-inglfsdttir-metasosamaudebasedsosmetatheoryframework-2013","role":"author","urls":{"Paper":"https://doi.org/10.4204/EPTCS.120.8"},"downloads":0},"search_terms":["meta","sos","maude","based","sos","meta","theory","framework","aceto","goriac","ingólfsdóttir"],"keywords":[],"authorIDs":[],"dataSources":["Efw79Fxo6HR8p6xBt"]}