Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling. Fantechi, A., Gnesi, S., & Sacchelli, R. In Hogrefe, D. & Leue, S., editors, Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994, volume 6, of IFIP Conference Proceedings, pages 218–220, 1994. Chapman & Hall. bibtex @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}
}
Downloads: 0
{"_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}