@InProceedings{Sputh06,
  title =        "{P}ortable {CSP} {B}ased {D}esign for {E}mbedded {M}ulti-{C}ore {S}ystems",
  author=        "Sputh,  Bernhard H.C. and Faust,  Oliver and Allen,  Alastair R.",
  editor=        "Welch, Peter H. and Kerridge,  Jon and Barnes,  Frederick R. M.",
  pages =        "123--134",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2006",
  isbn=          "978-1-58603-671-3",
  year=          "2006",
  month=         "sep",
  abstract=      "Modern lifestyle depends on embedded systems. They are
     everywhere: sometimes they are hidden and at other times
     they are handled as a fashion accessory. In order to serve
     us better they have to do more and more tasks at the same
     time. This calls for sophisticated mechanisms to handle
     concurrency. In this paper we present CSP (Communicating
     Sequential Processes) as a method which helps to solve a
     number of problems of embedded concurrent systems. To be
     specific, we describe implementations of the commstime
     benchmark in multithreaded, multiprocessor and architecture
     fusion systems. An architecture fusion system combines
     machine and hardware-logic architectures. Our results are
     twofold. First, architecture fusion systems outperform all
     the other systems we tested. Second, we implemented all the
     systems without a change in the design philosophy. The
     second point is the more important result, because it shows
     the power of CSP based design methods."
}