Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi. Nicola, R. D. & Loreti, M. Electron. Notes Theor. Comput. Sci., 169:133–146, 2007. Paper doi bibtex @article{DBLP:journals/entcs/NicolaL07,
author = {Rocco De Nicola and
Michele Loreti},
title = {Multi Labelled Transition Systems: {A} Semantic Framework for Nominal
Calculi},
journal = {Electron. Notes Theor. Comput. Sci.},
volume = {169},
pages = {133--146},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.05.019},
doi = {10.1016/j.entcs.2007.05.019},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NicolaL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"mXJXqnD5xAgk3fhkD","bibbaseid":"nicola-loreti-multilabelledtransitionsystemsasemanticframeworkfornominalcalculi-2007","authorIDs":[],"author_short":["Nicola, R. D.","Loreti, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Rocco","De"],"propositions":[],"lastnames":["Nicola"],"suffixes":[]},{"firstnames":["Michele"],"propositions":[],"lastnames":["Loreti"],"suffixes":[]}],"title":"Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi","journal":"Electron. Notes Theor. Comput. Sci.","volume":"169","pages":"133–146","year":"2007","url":"https://doi.org/10.1016/j.entcs.2007.05.019","doi":"10.1016/j.entcs.2007.05.019","timestamp":"Mon, 24 Feb 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/entcs/NicolaL07.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/entcs/NicolaL07,\n author = {Rocco De Nicola and\n Michele Loreti},\n title = {Multi Labelled Transition Systems: {A} Semantic Framework for Nominal\n Calculi},\n journal = {Electron. Notes Theor. Comput. Sci.},\n volume = {169},\n pages = {133--146},\n year = {2007},\n url = {https://doi.org/10.1016/j.entcs.2007.05.019},\n doi = {10.1016/j.entcs.2007.05.019},\n timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/entcs/NicolaL07.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Nicola, R. D.","Loreti, M."],"key":"DBLP:journals/entcs/NicolaL07","id":"DBLP:journals/entcs/NicolaL07","bibbaseid":"nicola-loreti-multilabelledtransitionsystemsasemanticframeworkfornominalcalculi-2007","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.entcs.2007.05.019"},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/n/RDNicola.bib","creationDate":"2020-08-07T16:49:57.608Z","downloads":0,"keywords":[],"search_terms":["multi","labelled","transition","systems","semantic","framework","nominal","calculi","nicola","loreti"],"title":"Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi","year":2007,"dataSources":["FxajFA698pihqBfpX"]}