Computing Behavioral Distances, Compositionally

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

15 Citations (Scopus)
Original languageEnglish
Title of host publicationMathematical Foundations of Computer Science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
EditorsKrishnendu Chatterjee, Jirí Sgall
Volume8087
PublisherSpringer Publishing Company
Publication date2013
Pages74-85
ISBN (Print)978-3-642-40312-5
ISBN (Electronic)978-3-642-40313-2
DOIs
Publication statusPublished - 2013
Event38th International Symposium on Mathematical Foundations of Computer Science - IST Austria, Klosterneuburg, Austria
Duration: 26 Aug 201330 Aug 2013
Conference number: 38th

Conference

Conference38th International Symposium on Mathematical Foundations of Computer Science
Number38th
LocationIST Austria
CountryAustria
CityKlosterneuburg
Period26/08/201330/08/2013
SeriesLecture Notes in Computer Science
Volume8087
ISSN0302-9743

Cite this

Bacci, G., Bacci, G., Larsen, K. G., & Mardare, R. I. (2013). Computing Behavioral Distances, Compositionally. In K. Chatterjee, & J. Sgall (Eds.), Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings (Vol. 8087, pp. 74-85). Springer Publishing Company. Lecture Notes in Computer Science, Vol.. 8087 https://doi.org/10.1007/978-3-642-40313-2_9