@inproceedings{DBLP:conf/forte/FantechiGM90,
    author = "Fantechi, Alessandro and Gnesi, Stefania and Mazzarini, Gianluca",
    editor = "Quemada, Juan and Ma{\\textasciitilde {n}}as, Jos{\'{e}} A. and V{\'{a}}zquez, Enrique",
    title = "How Expressive Are {LOTOS} Behaviour Expressions?",
    booktitle = "Formal Description Techniques, III, Proceedings of the {IFIP} {TC6/WG6.1} Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, {FORTE} '90, Madrid, Spain, 5-8 November 1990",
    pages = "17--32",
    publisher = "North-Holland",
    year = "1990",
    timestamp = "Thu, 03 Jan 2002 11:58:39 +0100",
    biburl = "https://dblp.org/rec/conf/forte/FantechiGM90.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"XeFHy2Rr2cHW8s3zF","bibbaseid":"fantechi-gnesi-mazzarini-howexpressivearelotosbehaviourexpressions-1990","author_short":["Fantechi, A.","Gnesi, S.","Mazzarini, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Gnesi"],"firstnames":["Stefania"],"suffixes":[]},{"propositions":[],"lastnames":["Mazzarini"],"firstnames":["Gianluca"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Quemada"],"firstnames":["Juan"],"suffixes":[]},{"propositions":[],"lastnames":["Ma ̃nas"],"firstnames":["José","A."],"suffixes":[]},{"propositions":[],"lastnames":["Vázquez"],"firstnames":["Enrique"],"suffixes":[]}],"title":"How Expressive Are LOTOS Behaviour Expressions?","booktitle":"Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990","pages":"17–32","publisher":"North-Holland","year":"1990","timestamp":"Thu, 03 Jan 2002 11:58:39 +0100","biburl":"https://dblp.org/rec/conf/forte/FantechiGM90.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/forte/FantechiGM90,\n author = \"Fantechi, Alessandro and Gnesi, Stefania and Mazzarini, Gianluca\",\n editor = \"Quemada, Juan and Ma{\\\\textasciitilde {n}}as, Jos{\\'{e}} A. and V{\\'{a}}zquez, Enrique\",\n title = \"How Expressive Are {LOTOS} Behaviour Expressions?\",\n booktitle = \"Formal Description Techniques, III, Proceedings of the {IFIP} {TC6/WG6.1} Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, {FORTE} '90, Madrid, Spain, 5-8 November 1990\",\n pages = \"17--32\",\n publisher = \"North-Holland\",\n year = \"1990\",\n timestamp = \"Thu, 03 Jan 2002 11:58:39 +0100\",\n biburl = \"https://dblp.org/rec/conf/forte/FantechiGM90.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Fantechi, A.","Gnesi, S.","Mazzarini, G."],"editor_short":["Quemada, J.","Ma ̃nas, J. A.","Vázquez, E."],"key":"DBLP:conf/forte/FantechiGM90","id":"DBLP:conf/forte/FantechiGM90","bibbaseid":"fantechi-gnesi-mazzarini-howexpressivearelotosbehaviourexpressions-1990","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/ws3af8SM9SMEYsH2f","dataSources":["PZg5PtcToSZkgSyYp","qQnqccZvH25J6baZj","WKKW4iPgS2HZ3iYgC","ayX6N9CZwEAB9vnsu","p5NhmgzaptHibbc54","yJus66XMcAovEa59P","Dku8hLpmnK4EMRGxi","o4c8ZrEv4pXJNTWsQ","Am74mndWeepaSMcba","g7R8qBvQHnTH2cmxX","NjpvvPPb5uHsATbEa","iRSPeTfHwYZkcdis9"],"keywords":[],"search_terms":["expressive","lotos","behaviour","expressions","fantechi","gnesi","mazzarini"],"title":"How Expressive Are LOTOS Behaviour Expressions?","year":1990}