| Sunday, 10th. September, 2000 |
| 18:00-19:30 |
Registration |
Rutherford College |
| 18:00-19:30 |
Dinner |
Keynes College |
| 20:00-22:00 |
Special Interest Groups (I and II) (and late Registration) |
Keynes College (LT2/SR7) |
| 22:00-24:00 |
Late Bar (and even later Registration) |
Keynes College |
| Monday, 11th. September, 2000 |
| 09:00-09:10 |
Introduction and Welcome:
Professor Peter Welch |
Rutherford College (RLT1) |
| 09:10-10:00 |
Invited Talk:
Concurrency in Industry (Wot,
no CSPs?)
Johan P.E. Sunter (Philips TASS, Eindhoven, The Netherlands) |
Rutherford College (RLT1) |
| 10:00-10:30 |
CSP: Arriving at the CHANnel
Island(an Industrial Practitioner's Diary: in Search of a New Fairway)
(p251)
Oyvind Teig. |
Rutherford College (RLT1) |
| 10:30-11:00 |
Tea/Coffee and Registration |
Rutherford College (RLT1) |
| 11:00-11:45 |
Distributed Computing using
Channel Communications in Java (p49)
A. Ripke, Alastair R. Allen and Y. Feng. |
Rutherford College (RLT1) |
| 11:45-12:30 |
A Comparison of Linda Implementations
in Java (p63)
George Wells, Peter Clayton and Alan Chalmers |
Rutherford College (RLT1) |
| 12:30-14:00 |
Lunch |
Rutherford College |
| 14:00-14:30 |
Conditional Communication
in the Presence of Priority (p77)
Gerald H. Hilderink and Jan F. Broenink |
Rutherford College (RLT1) |
| 14:30-15:00 |
Steering High-Performance
Parallel Programs: a Case Study (p99)
Peter J. Love and Jeremy M.R. Martin |
Rutherford College (RLT1) |
| 15:00-15:30 |
Native JCSP - the CSP for
Java library with a Low-Overhead CSP Kernel (p263)
James Moores |
Rutherford College (RLT1) |
| 15:30-16:00 |
Tea/Coffee |
Rutherford College |
| 16:00-16:45 |
The Automated Serialization
of Concurrent CSP Scripts using Mathematica (p15)
Weiyang Zhou and G.S. Styles |
Rutherford College (RLT1) |
| 16:45-17:30 |
Parallel Algorithms for
Deadlock and Livelock Analysis of Concurrent Systems (p1)
Jeremy M.R. Martin and Yvonne Huddart |
Rutherford College (RLT1) |
| 18:30-19:30 |
Dinner |
Darwin College |
| 20:00-22:00 |
Special Interest Groups (III and IV) |
Darwin College (DLT1/DLT2) |
| 22:00-24:00 |
Late Bar |
Darwin College |
| Tuesday, 12th. September, 2000 |
| 09:00-09:45 |
Blocking System Calls in
KRoC/Linux (p155)
Frederick R.M. Barnes |
Rutherford College (RLT1) |
| 09:45-10:30 |
A Self-Configuring Distributed
Kernel for Satellite Networks (p109)
Scott Cannon and Larry Denys |
Rutherford College (RLT1) |
| 10:30-11:00 |
Exhibition and Tea/Coffee |
Rutherford College |
| 11:00-11:30 |
libcsp - a Building
mechanism for CSP Communication and Synchronisation in Multithreaded
C Programs (p239)
Rick Beton |
Rutherford College (RLT1) |
| 11:30-12:00 |
An Experiment with Recursion
in occam (p193)
David C. Wood |
Rutherford College (RLT1) |
| 12:00-12:30 |
Post-Mortem Debugging in
KRoC (p179)
David C. Wood and Fred M.R. Barnes |
Rutherford College (RLT1) |
| 12:30-14:00 |
Lunch |
Rutherford College |
| 14:00-14:45 |
Synchronisation in a Multithreaded
Processor (p137)
Shondip Sen, Henk Muller and David May |
Rutherford College (RLT1) |
| 14:45-15:30 |
Effective Caching for Multithreaded
Processors (p145)
David May, James Irwin, Henk Muller and Dan Page |
Rutherford College (RLT1) |
| 15:30-16:00 |
Tea/Coffee |
Rutherford College |
| 16:00-16:30 |
Using Java for Parallel
Computing - JCSP versus CTJ (p205)
Nan C, Schaller, Gerald H. Hilderink and Peter H. Welch |
Rutherford College (RLT1) |
| 16:30-17:00 |
Announcements |
Rutherford College (RLT1) |
| 17:00-18:00 |
Panel Session |
Rutherford College (RLT1) |
| 19:00-20:00 |
Sherry Reception
(sponsored by WoTUG) |
Rutherford College (Upper SCR) |
| 20:00-24:00 |
Conference Dinner and Late Bar |
Rutherford College |
| Wednesday, 13th. September, 2000 |
| 09:00-09:45 |
CSP Design Model and
Tool Support (p33)
H.J. Volkerink, Gerald H. Hilderink, Jan F. Broenink, W.A. Veroort
and Andre W.P. Bakkers |
Rutherford College (RLT1) |
| 09:45-10:30 |
A Cruise Control in occam
based on an Implementation of KRoC on the Philips 8051 Microcontroller
(p121)
Frank T.M. van Vugt and Andre W.P. Bakkers |
Rutherford College (RLT1) |
| 10:30-11:00 |
Tea/Coffee |
Rutherford College |
| 11:00-11:45 |
occam on Field Programmable
Gate Arrays - Optimising for Performance (p227)
Roger M.A. Peel and Barry M. Cook |
Rutherford College (RLT1) |
| 11:45-12:30 |
Formal Analysis of Concurrent
Java Systems (p 275)
Peter H. Welch and Jeremy M.R. Martin |
Rutherford College (RLT1) |
| 12:30-13:00 |
WoTUG AGM
and Conference Prizes |
Rutherford College (RLT1) |
| 13:00-14:00 |
Lunch |
Rutherford College |
