@conference {41,
	title = {A survey on basic connectors and buffers},
	booktitle = {Formal Methods for Components and Objects - 10th International Symposium, FMCO 2011. Revised Papers},
	year = {2012},
	publisher = {Springer},
	organization = {Springer},
	author = {Roberto Bruni and Hern{\'a}n C. Melgratti and Ugo Montanari}
}