@inproceedings{DBLP:conf/forte/FantechiGS94,
  author       = {Alessandro Fantechi and
                  Stefania Gnesi and
                  R. Sacchelli},
  editor       = {Dieter Hogrefe and
                  Stefan Leue},
  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":[{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Fantechi"],"suffixes":[]},{"firstnames":["Stefania"],"propositions":[],"lastnames":["Gnesi"],"suffixes":[]},{"firstnames":["R."],"propositions":[],"lastnames":["Sacchelli"],"suffixes":[]}],"editor":[{"firstnames":["Dieter"],"propositions":[],"lastnames":["Hogrefe"],"suffixes":[]},{"firstnames":["Stefan"],"propositions":[],"lastnames":["Leue"],"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 = {Alessandro Fantechi and\n Stefania Gnesi and\n R. Sacchelli},\n editor = {Dieter Hogrefe and\n Stefan Leue},\n title = {Tableau methods to describe strong bisimilarity on {LOTOS} processes\n involving pure interleaving and enabling},\n booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}\n International Conference on Formal Description Techniques, Berne,\n 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/8dcZxrQZq7v9e9Qc4","dataSources":["PZg5PtcToSZkgSyYp","qQnqccZvH25J6baZj","WKKW4iPgS2HZ3iYgC","ayX6N9CZwEAB9vnsu","p5NhmgzaptHibbc54","yJus66XMcAovEa59P","Dku8hLpmnK4EMRGxi","o4c8ZrEv4pXJNTWsQ"],"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}