Can determinism and compositionality coexist in RML?. Ancona, D., Ferrando, A., & Mascardi, V. In Dardha, O. & Rot, J., editors, Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS/SOS 2020, and 17th Workshop on Structural Operational SemanticsOnline, 31 August 2020, volume 322, of EPTCS, pages 13–32, 2020.
Paper doi bibtex @inproceedings{DBLP:journals/corr/abs-2009-00391,
author = {Davide Ancona and
Angelo Ferrando and
Viviana Mascardi},
editor = {Ornela Dardha and
Jurriaan Rot},
title = {Can determinism and compositionality coexist in RML?},
booktitle = {Proceedings Combined 27th International Workshop on Expressiveness
in Concurrency and 17th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2020, and 17th Workshop on Structural Operational SemanticsOnline,
31 August 2020},
series = {{EPTCS}},
volume = {322},
pages = {13--32},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.322.4},
doi = {10.4204/EPTCS.322.4},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-00391.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"9YxsAvZzyajLTk5Ap","bibbaseid":"ancona-ferrando-mascardi-candeterminismandcompositionalitycoexistinrml-2020","authorIDs":["L4cWiFkGZBSbk8JHm"],"author_short":["Ancona, D.","Ferrando, A.","Mascardi, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Davide"],"propositions":[],"lastnames":["Ancona"],"suffixes":[]},{"firstnames":["Angelo"],"propositions":[],"lastnames":["Ferrando"],"suffixes":[]},{"firstnames":["Viviana"],"propositions":[],"lastnames":["Mascardi"],"suffixes":[]}],"editor":[{"firstnames":["Ornela"],"propositions":[],"lastnames":["Dardha"],"suffixes":[]},{"firstnames":["Jurriaan"],"propositions":[],"lastnames":["Rot"],"suffixes":[]}],"title":"Can determinism and compositionality coexist in RML?","booktitle":"Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS/SOS 2020, and 17th Workshop on Structural Operational SemanticsOnline, 31 August 2020","series":"EPTCS","volume":"322","pages":"13–32","year":"2020","url":"https://doi.org/10.4204/EPTCS.322.4","doi":"10.4204/EPTCS.322.4","timestamp":"Wed, 07 Dec 2022 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/corr/abs-2009-00391.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:journals/corr/abs-2009-00391,\n author = {Davide Ancona and\n Angelo Ferrando and\n Viviana Mascardi},\n editor = {Ornela Dardha and\n Jurriaan Rot},\n title = {Can determinism and compositionality coexist in RML?},\n booktitle = {Proceedings Combined 27th International Workshop on Expressiveness\n in Concurrency and 17th Workshop on Structural Operational Semantics,\n {EXPRESS/SOS} 2020, and 17th Workshop on Structural Operational SemanticsOnline,\n 31 August 2020},\n series = {{EPTCS}},\n volume = {322},\n pages = {13--32},\n year = {2020},\n url = {https://doi.org/10.4204/EPTCS.322.4},\n doi = {10.4204/EPTCS.322.4},\n timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/corr/abs-2009-00391.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ancona, D.","Ferrando, A.","Mascardi, V."],"editor_short":["Dardha, O.","Rot, J."],"key":"DBLP:journals/corr/abs-2009-00391","id":"DBLP:journals/corr/abs-2009-00391","bibbaseid":"ancona-ferrando-mascardi-candeterminismandcompositionalitycoexistinrml-2020","role":"author","urls":{"Paper":"https://doi.org/10.4204/EPTCS.322.4"},"metadata":{"authorlinks":{"ferrando, a":"https://angeloferrando.github.io/website/"}},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/134/9527.bib","creationDate":"2020-09-18T06:39:39.940Z","downloads":0,"keywords":[],"search_terms":["determinism","compositionality","coexist","rml","ancona","ferrando","mascardi"],"title":"Can determinism and compositionality coexist in RML?","year":2020,"dataSources":["PxcFZJ2oyR7SFv6tr","hbmDF3mowSFP7RzLi","X6oai84Gqtg82PfJ8","DemJHAtxwifL2qfuu","R5o3TG54ojRn5EMT4","ZEMwcoMYSZFYWJajW","GpdwcjP3cDneQaTbF","N94NEfdRnTcyXcg5P","Mt3To6SuEDqqAnZki","yDhN9JGJxcG56DJKw","5iJsrxNL2p3x5acur","jkPac6coMCnfPS9v6"]}