@inproceedings{DBLP:conf/mfcs/AstesianoZ81,
  author       = {Egidio Astesiano and
                  Elena Zucca},
  editor       = {Jozef Gruska and
                  Michal Chytil},
  title        = {Semantics of {CSP} via Translation into {CCS}},
  booktitle    = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
                  Czechoslovakia, August 31 - September 4, 1981, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {118},
  pages        = {172--182},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/3-540-10856-4\_83},
  doi          = {10.1007/3-540-10856-4\_83},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/AstesianoZ81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"f7PT4AwpuiJeygJ6t","bibbaseid":"astesiano-zucca-semanticsofcspviatranslationintoccs-1981","author_short":["Astesiano, E.","Zucca, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Egidio"],"propositions":[],"lastnames":["Astesiano"],"suffixes":[]},{"firstnames":["Elena"],"propositions":[],"lastnames":["Zucca"],"suffixes":[]}],"editor":[{"firstnames":["Jozef"],"propositions":[],"lastnames":["Gruska"],"suffixes":[]},{"firstnames":["Michal"],"propositions":[],"lastnames":["Chytil"],"suffixes":[]}],"title":"Semantics of CSP via Translation into CCS","booktitle":"Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31 - September 4, 1981, Proceedings","series":"Lecture Notes in Computer Science","volume":"118","pages":"172–182","publisher":"Springer","year":"1981","url":"https://doi.org/10.1007/3-540-10856-4\\_83","doi":"10.1007/3-540-10856-4_83","timestamp":"Tue, 14 May 2019 10:00:37 +0200","biburl":"https://dblp.org/rec/conf/mfcs/AstesianoZ81.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/mfcs/AstesianoZ81,\n author = {Egidio Astesiano and\n Elena Zucca},\n editor = {Jozef Gruska and\n Michal Chytil},\n title = {Semantics of {CSP} via Translation into {CCS}},\n booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,\n Czechoslovakia, August 31 - September 4, 1981, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {118},\n pages = {172--182},\n publisher = {Springer},\n year = {1981},\n url = {https://doi.org/10.1007/3-540-10856-4\\_83},\n doi = {10.1007/3-540-10856-4\\_83},\n timestamp = {Tue, 14 May 2019 10:00:37 +0200},\n biburl = {https://dblp.org/rec/conf/mfcs/AstesianoZ81.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Astesiano, E.","Zucca, E."],"editor_short":["Gruska, J.","Chytil, M."],"key":"DBLP:conf/mfcs/AstesianoZ81","id":"DBLP:conf/mfcs/AstesianoZ81","bibbaseid":"astesiano-zucca-semanticsofcspviatranslationintoccs-1981","role":"author","urls":{"Paper":"https://doi.org/10.1007/3-540-10856-4\\_83"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/z/EZucca.bib","dataSources":["NhBqgkX23MS7AZK7a"],"keywords":[],"search_terms":["semantics","csp","via","translation","ccs","astesiano","zucca"],"title":"Semantics of CSP via Translation into CCS","year":1981}