@Article{	  Lohrey02fossacs,
  author	= "Lohrey, Markus and Muscholl, Anca",
  title		= "Bounded {MSC} communication",
  year		= "2002",
  volume	= "2303",
  pages		= "295--309",
  publisher	= "Springer",
  address	= "Berlin",
  series	= "Lecture Notes in Computer Science",
  booktitle	= "5th International Conference, FOSSACS 2002. Grenoble,
		  France, April 8-12, 2002, Proceedings",
  doi		= "10.1007/3-540-45931-6_21"
}