@InProceedings{JabBasuBliu09-symbolic,
  author = 	 {Mohamad Jaber and Ananda Basu and Simon Bliudze},
  title = 	 {Symbolic Implementation of Connectors in {BIP}},
  booktitle =    {ICE 2010: Structured Interactions},
  pages = 	 {41--55},
  year = 	 2009,
  month =        sep,
  volume = 	 12,
  series = 	 {EPTCS}
}