Typing Component-Based Communication Systems. Lienhardt, M., Mezzina, C. A., Schmitt, A., & Stefani, J. In Lee, D., Lopes, A., & Poetzsch-Heffter, A., editors, Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, volume 5522, of Lecture Notes in Computer Science, pages 167–181, 2009. Springer. Paper doi bibtex @inproceedings{DBLP:conf/forte/LienhardtMSS09,
author = {Michael Lienhardt and
Claudio Antares Mezzina and
Alan Schmitt and
Jean{-}Bernard Stefani},
editor = {David Lee and
Ant{\'{o}}nia Lopes and
Arnd Poetzsch{-}Heffter},
title = {Typing Component-Based Communication Systems},
booktitle = {Formal Techniques for Distributed Systems, Joint 11th {IFIP} {WG}
6.1 International Conference {FMOODS} 2009 and 29th {IFIP} {WG} 6.1
International Conference {FORTE} 2009, Lisboa, Portugal, June 9-12,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5522},
pages = {167--181},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02138-1\_11},
doi = {10.1007/978-3-642-02138-1\_11},
timestamp = {Mon, 15 Jul 2019 16:26:46 +0200},
biburl = {https://dblp.org/rec/conf/forte/LienhardtMSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"FaCuRQdCNadnXqyL7","bibbaseid":"lienhardt-mezzina-schmitt-stefani-typingcomponentbasedcommunicationsystems-2009","author_short":["Lienhardt, M.","Mezzina, C. A.","Schmitt, A.","Stefani, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Lienhardt"],"suffixes":[]},{"firstnames":["Claudio","Antares"],"propositions":[],"lastnames":["Mezzina"],"suffixes":[]},{"firstnames":["Alan"],"propositions":[],"lastnames":["Schmitt"],"suffixes":[]},{"firstnames":["Jean-Bernard"],"propositions":[],"lastnames":["Stefani"],"suffixes":[]}],"editor":[{"firstnames":["David"],"propositions":[],"lastnames":["Lee"],"suffixes":[]},{"firstnames":["Antónia"],"propositions":[],"lastnames":["Lopes"],"suffixes":[]},{"firstnames":["Arnd"],"propositions":[],"lastnames":["Poetzsch-Heffter"],"suffixes":[]}],"title":"Typing Component-Based Communication Systems","booktitle":"Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings","series":"Lecture Notes in Computer Science","volume":"5522","pages":"167–181","publisher":"Springer","year":"2009","url":"https://doi.org/10.1007/978-3-642-02138-1_11","doi":"10.1007/978-3-642-02138-1_11","timestamp":"Mon, 15 Jul 2019 16:26:46 +0200","biburl":"https://dblp.org/rec/conf/forte/LienhardtMSS09.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/forte/LienhardtMSS09,\n author = {Michael Lienhardt and\n Claudio Antares Mezzina and\n Alan Schmitt and\n Jean{-}Bernard Stefani},\n editor = {David Lee and\n Ant{\\'{o}}nia Lopes and\n Arnd Poetzsch{-}Heffter},\n title = {Typing Component-Based Communication Systems},\n booktitle = {Formal Techniques for Distributed Systems, Joint 11th {IFIP} {WG}\n 6.1 International Conference {FMOODS} 2009 and 29th {IFIP} {WG} 6.1\n International Conference {FORTE} 2009, Lisboa, Portugal, June 9-12,\n 2009. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {5522},\n pages = {167--181},\n publisher = {Springer},\n year = {2009},\n url = {https://doi.org/10.1007/978-3-642-02138-1\\_11},\n doi = {10.1007/978-3-642-02138-1\\_11},\n timestamp = {Mon, 15 Jul 2019 16:26:46 +0200},\n biburl = {https://dblp.org/rec/conf/forte/LienhardtMSS09.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Lienhardt, M.","Mezzina, C. A.","Schmitt, A.","Stefani, J."],"editor_short":["Lee, D.","Lopes, A.","Poetzsch-Heffter, A."],"key":"DBLP:conf/forte/LienhardtMSS09","id":"DBLP:conf/forte/LienhardtMSS09","bibbaseid":"lienhardt-mezzina-schmitt-stefani-typingcomponentbasedcommunicationsystems-2009","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-02138-1_11"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/73/7078.bib","dataSources":["xs35HrYTZDE2HTSYB"],"keywords":[],"search_terms":["typing","component","based","communication","systems","lienhardt","mezzina","schmitt","stefani"],"title":"Typing Component-Based Communication Systems","year":2009}