%0 Book Section %1 books/sp/sensoria2011/LaneseRV11 %A Lanese, Ivan %A Ravara, António %A Vieira, Hugo Torres %B Results of the SENSORIA Project %D 2011 %E Wirsing, Martin %E Hölzl, Matthias M. %I Springer %K dblp %P 189-213 %T Behavioral Theory for Session-Oriented Calculi. %U http://dblp.uni-trier.de/db/books/collections/sensoria2011.html#LaneseRV11 %V 6582 %@ 978-3-642-20400-5

@incollection{books/sp/sensoria2011/LaneseRV11, added-at = {2017-05-29T00:00:00.000+0200}, author = {Lanese, Ivan and Ravara, António and Vieira, Hugo Torres}, biburl = {https://www.bibsonomy.org/bibtex/2dd30a6907602d50995d818b96ad834bf/dblp}, booktitle = {Results of the SENSORIA Project}, crossref = {books/sp/sensoria11}, editor = {Wirsing, Martin and Hölzl, Matthias M.}, ee = {https://doi.org/10.1007/978-3-642-20401-2_9}, interhash = {f7d5dbb93e16311b44438dc4b2d9f818}, intrahash = {dd30a6907602d50995d818b96ad834bf}, isbn = {978-3-642-20400-5}, keywords = {dblp}, pages = {189-213}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T11:53:31.000+0200}, title = {Behavioral Theory for Session-Oriented Calculi.}, url = {http://dblp.uni-trier.de/db/books/collections/sensoria2011.html#LaneseRV11}, volume = 6582, year = 2011 }