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:
Dynamic Process Interaction
By Lajos Schrettner, Innes Jelly
This paper concerns with the design of a building block for parallel and distributed software systems. We start with a very common problem of process interaction and successively derive a building block that can be used to construct systems that are correct by construction. When copies of this building block are connected to each other in an arbitrary fashion, the resulting system is deadlock/livelock free. An application is outlined where this method was used. We also would like to stress that the method of successive refinements used in this paper seems to be a fruitful approach in the design of protocols.
Complete record...
|
