@inproceedings{DBLP:conf/forte/FantechiGS94,
    author = "Fantechi, Alessandro and Gnesi, Stefania and Sacchelli, R.",
    editor = "Hogrefe, Dieter and Leue, Stefan",
    title = "Tableau methods to describe strong bisimilarity on {LOTOS} processes involving pure interleaving and enabling",
    booktitle = "Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1} International Conference on Formal Description Techniques, Berne, Switzerland, 1994",
    series = "{IFIP} Conference Proceedings",
    volume = "6",
    pages = "218--220",
    publisher = "Chapman {\\&} Hall",
    year = "1994",
    timestamp = "Thu, 03 Jan 2002 11:58:39 +0100",
    biburl = "https://dblp.org/rec/conf/forte/FantechiGS94.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"kdFNmws5Pww7M3FTM","bibbaseid":"fantechi-gnesi-sacchelli-tableaumethodstodescribestrongbisimilarityonlotosprocessesinvolvingpureinterleavingandenabling-1994","author_short":["Fantechi, A.","Gnesi, S.","Sacchelli, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Gnesi"],"firstnames":["Stefania"],"suffixes":[]},{"propositions":[],"lastnames":["Sacchelli"],"firstnames":["R."],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Hogrefe"],"firstnames":["Dieter"],"suffixes":[]},{"propositions":[],"lastnames":["Leue"],"firstnames":["Stefan"],"suffixes":[]}],"title":"Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling","booktitle":"Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994","series":"IFIP Conference Proceedings","volume":"6","pages":"218–220","publisher":"Chapman \\& Hall","year":"1994","timestamp":"Thu, 03 Jan 2002 11:58:39 +0100","biburl":"https://dblp.org/rec/conf/forte/FantechiGS94.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/forte/FantechiGS94,\n author = \"Fantechi, Alessandro and Gnesi, Stefania and Sacchelli, R.\",\n editor = \"Hogrefe, Dieter and Leue, Stefan\",\n title = \"Tableau methods to describe strong bisimilarity on {LOTOS} processes involving pure interleaving and enabling\",\n booktitle = \"Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1} International Conference on Formal Description Techniques, Berne, Switzerland, 1994\",\n series = \"{IFIP} Conference Proceedings\",\n volume = \"6\",\n pages = \"218--220\",\n publisher = \"Chapman {\\\\&} Hall\",\n year = \"1994\",\n timestamp = \"Thu, 03 Jan 2002 11:58:39 +0100\",\n biburl = \"https://dblp.org/rec/conf/forte/FantechiGS94.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Fantechi, A.","Gnesi, S.","Sacchelli, R."],"editor_short":["Hogrefe, D.","Leue, S."],"key":"DBLP:conf/forte/FantechiGS94","id":"DBLP:conf/forte/FantechiGS94","bibbaseid":"fantechi-gnesi-sacchelli-tableaumethodstodescribestrongbisimilarityonlotosprocessesinvolvingpureinterleavingandenabling-1994","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"],"keywords":[],"search_terms":["tableau","methods","describe","strong","bisimilarity","lotos","processes","involving","pure","interleaving","enabling","fantechi","gnesi","sacchelli"],"title":"Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling","year":1994}