WoTUG - The place for concurrent processes

Communicating Process Architectures 2009

Communicating Process Architectures 2009 will start on the evening of Sunday 1st. November, through to lunchtime on 4th. November at the Technische Universiteit Eindhoven in Eindhoven, the Netherlands. The conference will run in its normal style (a single stream of refereed papers during the day and fringe events in the evenings). This year, however, we shall be part of Formal Methods Week 2009 where registration for CPA also gives access to the sessions of other conferences, tutorials and workshops running simultaenously – follow their sidebar link to "Schedule" for the outline timetable.

Welcome!

WoTUG is a forum set up to support those applying the CSP model of parallel processing. You will find on this site articles and information that can help you design and build concurrent software and hardware systems that really work, day in, day out, without any need to spend man-years of debugging effort.

  • Information on CSP, the mathematical basis of our work
  • Our papers, the distilled results of our work
  • The KRoC retargettable occam compiler
  • A page about the group.

The Abstract below is from a paper in our database:

Portable CSP Based Design for Embedded Multi-Core Systems

By Alastair R. Allen, Oliver Faust, Bernhard Sputh

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.

Complete record...

News

+ CPA 2009 Announced this November in Eindhoven, the Netherlands.
+ Wotug.org changing IP addresses. DNS might be slowto catch up !
+ CPA 2008 Announced this September in York, UK.
+ CPA 2007 Announced in Surrey, UK.
+ CPA 2006 papers added to the Papers Database.
+ CPA 2006 Announced in Edinburgh, UK.
+ CPA 2005 papers added to the Papers Database.
+ See the online books, including Networks, Routers and Transputers.
+ WoTUG Site awarded 4 Star Computing Coolsites by Emerald Insight.
+ CPA 2004 papers added to the Papers Database.
+ HENSA Parallel Archive now hosted at wotug.org as well as kent.ac.uk.

Page last modified on 1st March 2009
Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org