db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
@InProceedings{Fernandes07,
  title =        "{C}omponents with {S}ymbolic {T}ransition {S}ystems: a {J}ava {I}mplementation of {R}endezvous",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  author=        "Fernandes,  Fabricio and Passama,  Robin and Royer,  Jean-Claude",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  editor=        "McEwan,  Alistair A. and Schneider,  Steve and Ifill,  Wilson and Welch, Peter H.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  pages =        "89--108",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2007",
  isbn=          "978-1-58603-767-3",
  year=          "2007",
  month=         "jul",
  abstract=      "Component-based software engineering is becoming an
     important approach
for system development. A crucial issue
     is to fill the gap between high-level models,
needed for
     design and verification, and implementation. This paper
     introduces first
a component model with explicit protocols
     based on symbolic transition systems. It
then presents a
     Java implementation for it that relies on a rendezvous
     mechanism to
synchronize events between component
     protocols. This paper shows how to get a
     correct
implementation of a complex rendezvous in presence
     of full data types, guarded
transitions and, possibly,
     guarded receipts."
}