Conservative Extension in Structural Operational Semantics. Aceto, L., Fokkink, W., & Verhoef, C. In Current Trends in Theoretical Computer Science, pages 504–524. 2001. bibtex @incollection{DBLP:books/ws/phaunRS01/AcetoFV01,
author = {Luca Aceto and
Wan Fokkink and
Chris Verhoef},
title = {Conservative Extension in Structural Operational Semantics},
booktitle = {Current Trends in Theoretical Computer Science},
pages = {504--524},
year = {2001},
timestamp = {Wed, 15 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/books/ws/phaunRS01/AcetoFV01},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"5yTvA82ECcDvXtrpZ","bibbaseid":"aceto-fokkink-verhoef-conservativeextensioninstructuraloperationalsemantics-2001","downloads":0,"creationDate":"2016-02-18T15:10:12.461Z","title":"Conservative Extension in Structural Operational Semantics","author_short":["Aceto, L.","Fokkink, W.","Verhoef, C."],"year":2001,"bibtype":"incollection","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["Luca"],"propositions":[],"lastnames":["Aceto"],"suffixes":[]},{"firstnames":["Wan"],"propositions":[],"lastnames":["Fokkink"],"suffixes":[]},{"firstnames":["Chris"],"propositions":[],"lastnames":["Verhoef"],"suffixes":[]}],"title":"Conservative Extension in Structural Operational Semantics","booktitle":"Current Trends in Theoretical Computer Science","pages":"504–524","year":"2001","timestamp":"Wed, 15 May 2002 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/books/ws/phaunRS01/AcetoFV01","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@incollection{DBLP:books/ws/phaunRS01/AcetoFV01,\n author = {Luca Aceto and\n Wan Fokkink and\n Chris Verhoef},\n title = {Conservative Extension in Structural Operational Semantics},\n booktitle = {Current Trends in Theoretical Computer Science},\n pages = {504--524},\n year = {2001},\n timestamp = {Wed, 15 May 2002 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/books/ws/phaunRS01/AcetoFV01},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aceto, L.","Fokkink, W.","Verhoef, C."],"key":"DBLP:books/ws/phaunRS01/AcetoFV01","id":"DBLP:books/ws/phaunRS01/AcetoFV01","bibbaseid":"aceto-fokkink-verhoef-conservativeextensioninstructuraloperationalsemantics-2001","role":"author","urls":{},"downloads":0},"search_terms":["conservative","extension","structural","operational","semantics","aceto","fokkink","verhoef"],"keywords":[],"authorIDs":[],"dataSources":["Efw79Fxo6HR8p6xBt"]}