WoTUG - The place for concurrent processes

Communicating Process Architectures - 2000


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

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