Occam Mailing List
By Subject

About this list	Date view	Thread view	Other mail archives

1395 Messages
Starting:	1998-10-06 09:00:07	Ending:	2004-10-31 20:06:25

Campbell, John (2001-08-08 19:20:28)

Campbell, John (2001-08-08 19:20:28)

"Fringe" papers...
- Alan Chalmers (2001-09-12 17:13:22)
"No aliasing = no garbage collection"
- Ruth Ivimey-Cook (2000-09-22 14:25:34)
- Lawrence Dickson (2000-09-25 15:06:05)
- Oyvind Teig (2000-09-26 07:56:35)
- Oyvind Teig (2000-09-25 15:01:33)
- B.M. Cook (2000-09-25 10:34:29)
- Oyvind Teig (2000-09-25 08:22:47)
- Ruth Ivimey-Cook (2000-09-23 23:39:04)
- Lawrence Dickson (2000-09-23 02:26:02)
- P.H.Welch (2000-09-22 17:56:28)
- P.H.Welch (2000-09-22 13:57:16)
- Lawrence Dickson (2000-09-22 13:26:34)
- P.H.Welch (2000-09-22 13:30:06)
- M_Boosten (2000-09-22 12:02:03)
- Oyvind Teig (2000-09-22 09:41:09)
"Non-preemptive Occam in DSP RT system"
- Xyvind Teig (1998-09-01 07:48:07)
(no subject)
- Gordon Hutchison (2001-08-22 14:13:46)
- Gordon Hutchison (2001-08-22 14:13:46)
- Gordon Hutchison (2001-08-22 14:13:46)
- ianeast (2001-08-09 12:19:29)
- ianeast (2001-08-09 12:19:29)
- Lawrence Dickson (2001-08-08 20:19:32)
- David Moore (2001-08-08 18:44:49)
- M_Boosten (2001-07-26 14:52:19)
- valjr_at_email.domain.hidden (1999-06-17 00:18:33)
- Hill Martin (1998-06-22 08:40:02)
(now completed) Slides from my talk at CPA2000
- Campbell, John (2000-12-05 17:44:23)
- Campbell, John (2000-12-01 18:34:46)
- Richard Beton (2000-12-06 10:18:53)
- A E Lawrence (2000-12-05 21:44:38)
- jm40_at_email.domain.hidden (2000-12-05 21:31:59)
- Tom Locke (2000-12-05 09:42:10)
- Tom Locke (2000-12-01 16:40:49)
- A E Lawrence (2000-12-01 21:55:00)
1394 bug and formal methods
- Paul Walker (1997-11-07 16:13:50)
22K of postscript: Interrupt operator of CSPP
- Adrian Lawrence (1999-03-02 11:30:52)
28K of postscript: Conflicting Priorities in occam
- Adrian Lawrence (1999-03-02 00:21:57)
2nd Call for Papers CPA conference, 7-10 Sept, Enschede Netherlan ds; Poster Available
- Broenink, J.F. (2003-05-09 16:04:10)
[announce] KRoC/Linux 1.3.3 released!
- Fred Barnes (2004-08-11 00:00:07)
[Fwd: [rtl] What kind of sharing is intended/supported for rtfifos?]]
- A E Lawrence (2000-01-26 22:20:10)
[Fwd: Beatles songs for the 21st Century]
- Richard Beton (2000-11-03 16:08:15)
[Fwd: Priority revisited: a new primitive]
- A E Lawrence (2000-10-12 15:57:38)
- A E Lawrence (2000-10-12 15:26:10)
A "CJT" in python
- Lawrence Dickson (2000-10-30 00:40:12)
- Lawrence Dickson (2000-10-29 14:30:00)
- Lawrence Dickson (2000-10-28 23:11:16)
- A E Lawrence (2000-10-27 21:41:15)
A CSP model for Java threads
- Lawrence Dickson (1999-08-13 19:11:52)
- Bryan Scattergood (1999-08-10 15:36:19)
- Bryan Scattergood (1999-08-10 12:07:45)
- Oyvind Teig (1999-08-10 12:36:19)
- Jeremy Martin (1999-08-10 12:08:29)
- Oyvind Teig (1999-08-10 07:56:14)
- P.H.Welch (1999-08-06 23:24:12)
- Jeremy Martin (1999-08-07 12:37:20)
- Jeremy Martin (1999-08-05 13:43:05)
- P.H.Welch (1999-08-04 20:01:27)
- Jeremy Martin (1999-08-05 11:54:51)
- Jeremy Martin (1999-07-30 15:46:55)
- P.H.Welch_at_email.domain.hidden (1999-03-30 12:14:38)
- P.H.Welch_at_email.domain.hidden (1999-03-29 17:39:23)
- P.H.Welch_at_email.domain.hidden (1999-03-29 17:17:33)
- Jeremy Martin (1999-03-29 17:02:09)
- P.H.Welch_at_email.domain.hidden (1999-03-29 16:50:20)
- Jeremy Martin (1999-03-29 15:17:49)
- Rick Beton (1999-03-26 17:47:34)
- P.H.Welch_at_email.domain.hidden (1999-03-26 17:33:18)
A CSP model for Java threads - a subtle point
- Jeremy Martin (1999-08-03 16:05:58)
a few questions
- P.H.Welch (2001-01-31 18:42:04)
- oyvind.teig_at_email.domain.hidden (2001-02-02 08:20:57)
- Gerald H. Hilderink (2001-02-02 09:14:38)
- Richard Beton (2001-02-01 18:34:00)
- Gerald H. Hilderink (2001-02-01 16:04:52)
- Gerald H. Hilderink (2001-02-01 16:04:50)
- P.H.Welch (2001-01-31 18:42:04)
- Lawrence Dickson (2001-01-31 19:44:18)
- Gerald H. Hilderink (2001-01-31 15:08:16)
- Gerald H. Hilderink (2001-01-31 18:16:38)
- Gerald H. Hilderink (2001-01-31 15:03:22)
A floating world
- Oyvind Teig (2000-05-04 11:37:03)
- Oyvind Teig (2000-05-04 10:11:09)
- D.C.Wood (2000-05-04 09:19:37)
- Oyvind Teig (2000-05-04 09:50:01)
A path for CSP-based
- M_Boosten (2000-10-23 12:24:47)
- Lawrence Dickson (2000-10-17 18:57:14)
- A E Lawrence (2000-10-08 16:31:43)
A path for CSP-based Solutions towards HUGE Industrial Succes s.
- O'Neill, Brian (2000-10-09 11:39:11)
- M_Boosten (2000-10-06 14:42:16)
- B.M. Cook (2000-10-06 12:35:27)
- Lawrence Dickson (2000-10-05 18:14:54)
- O'Neill, Brian (2000-10-05 17:49:07)
A path for CSP-based Solutions towards HUGE Industrial Success.
- M_Boosten (2000-10-17 12:53:39)
- M_Boosten (2000-10-06 14:11:15)
- IanPage99_at_email.domain.hidden (2000-10-06 00:51:13)
- P.H.Welch (2000-10-05 18:34:14)
- Lawrence Dickson (2000-10-05 17:40:23)
- M_Boosten (2000-10-05 17:15:46)
- B.M. Cook (2000-10-05 10:13:00)
- P.H.Welch (2000-10-05 13:16:21)
- M_Boosten (2000-10-05 11:35:21)
- M_Boosten (2000-10-05 09:31:44)
a web-based / occam-based text adventure
- Fred Barnes (2001-08-13 10:18:25)
Abbreviation of arrays, scope.
- Oyvind Teig (2000-01-03 10:07:30)
- Michael Poole (1999-12-22 18:10:34)
- Lee Benfield (1999-12-21 21:48:38)
ABCD at DSSE, Southampton
- Richard Beton (2000-10-17 13:38:06)
Action language semantics
- Oyvind Teig (2000-09-22 14:07:37)
AF-PNNI-SIG-TM: AF-SIG, AF-PNNI, AF-TM 97-0261: Multipoint-to-point VCs
- Paul Walker (1997-04-17 12:12:13)
Aliasing and Garbage Collection
- Denis A Nicole (2000-10-19 15:57:47)
- A E Lawrence (2000-10-17 20:55:12)
- Oyvind Teig (2000-10-17 19:21:26)
- Campbell, John (2000-10-17 18:00:09)
- Tom Locke (2000-10-17 16:13:58)
- Tom Locke (2000-10-17 16:08:03)
- Oyvind Teig (2000-10-19 13:52:48)
- Denis A Nicole (2000-10-17 17:43:57)
- B.M. Cook (2000-10-17 13:00:57)
- Richard Beton (2000-10-17 11:39:40)
- Tom Locke (2000-10-17 10:37:50)
Alpha EV8
- J.Moores (1999-03-30 15:45:22)
ALTing select mechanism implementation
- P.H.Welch (2000-05-04 13:07:54)
ALTs on inputs and outputs
- P.H.Welch (2000-08-15 17:33:49)
- A E Lawrence (2000-08-19 12:46:42)
AN APPEAL TO COMMON SENSE
- Per Brinch Hansen (1999-06-27 02:05:17)
Another Helping of CPA ?
- Jeremy Martin (2001-11-01 09:26:56)
- James Pascoe (2001-10-29 13:50:57)
Apology to Dr. Miura
- Kazuto.MATSUI_at_email.domain.hidden (1997-06-03 05:45:54)
ARCH Library
- james_wolffe_at_email.domain.hidden (1998-10-08 19:22:56)
Asynchronous Exceptions in J
- james_wolffe_at_email.domain.hidden (1998-12-03 15:34:16)
Asynchronous Exceptions in Java
- Ian Page (1998-12-03 14:21:23)
Asynchronous Exceptions in Java ...
- dyke (1998-12-04 16:12:51)
- P.H.Welch_at_email.domain.hidden (1998-12-04 10:58:31)
Bibliographies
- jm40_at_email.domain.hidden (2000-12-05 17:30:45)
- A E Lawrence (2000-12-05 15:08:01)
- P.H.Welch (2000-12-05 21:14:55)
- A E Lawrence (2000-12-05 20:49:45)
Bigraphical Reactive Systems
- A E Lawrence (2001-10-05 21:47:30)
Blackhole mailing list issues
- Oyvind Teig (2000-10-19 10:22:47)
- Adrian Lawrence (2000-10-18 18:04:59)
- Richard Beton (2000-10-18 17:22:58)
- M_Boosten (2000-10-18 15:29:03)
- M_Boosten (2000-10-18 15:22:45)
- M_Boosten (2000-10-19 11:52:34)
- M_Boosten (2000-10-18 11:57:28)
- P.H.Welch (2000-10-18 16:57:35)
- A E Lawrence (2000-10-18 14:28:10)
- A E Lawrence (2000-10-17 17:00:48)
- Tom Locke (2000-10-17 16:24:06)
- A E Lawrence (2000-10-17 13:18:15)
- P.H.Welch (2000-10-18 10:24:29)
Book announcement
- P.H.Welch (2000-01-14 14:59:45)
Brinch Hansen's frustration
- oyvind.teig_at_email.domain.hidden (2001-06-19 11:03:22)
- oyvind.teig_at_email.domain.hidden (2001-06-19 08:32:50)
CACM - "Computation beyond Turing Machines"
- ianeast (2003-04-07 17:07:42)
CALL Channels in Java
- Hilderink, G.H. (1999-06-30 12:36:09)
Call for Papers for CPA 2003 workshop on 7-10 sept 2003 in Ensche de, Nehterlands
- Broenink, J.F. (2003-03-20 20:51:02)
Call for Papers for CPA 2003 workshop on 7-10 sept 2003 in Ensche de, Netherlands
- Broenink, J.F. (2003-03-20 21:00:47)
Call for Papers for CPA 2003 workshop on 7-10 sept 2003 in Enschede, Nehterlands
- CPA2003 (2003-03-20 20:51:28)
Call for Papers for CPA 2003 workshop on 7-10 sept 2003 in Enschede, Netherlands
- Andrzej Lewandowski (2003-03-21 12:14:03)
Call for papers: PDPTA 2002
- Dyke Stiles (2001-10-05 16:53:29)
Can Java be one-upped?
- Lawrence Dickson (1999-09-10 20:50:16)
CHAN variants
- B.M. Cook (1997-03-18 13:13:20)
- Adrian Lawrence (1997-03-17 13:05:07)
- B.M. Cook (1997-03-13 16:22:09)
- Adrian Lawrence (1997-03-05 08:38:44)
Change of email address
- IanPage99_at_email.domain.hidden (2004-09-12 14:24:12)
Channels versus Methods
- P.H.Welch (1999-07-09 18:38:40)
- P.H.Welch (1999-07-09 18:47:47)
- Gerald Hilderink (1999-07-09 10:31:41)
- P.H.Welch (1999-07-08 19:08:28)
- P.H.Welch (1999-07-08 18:51:14)
- Umland, Thomas (1999-07-02 13:08:03)
- Richard Beton (1999-07-01 09:38:37)
- Thomas Umland (1999-06-30 23:24:52)
- Gerald Hilderink (1999-07-01 15:41:29)
- P.H.Welch (1999-06-28 16:23:11)
- Umland, Thomas (1999-06-28 09:00:20)
- P.H.Welch (1999-06-25 12:59:07)
Chess in occam?
- Tony Gore (2003-10-09 14:58:55)
- A E Lawrence (2003-10-09 12:45:53)
Commercial backing? No way!
- Fred Barnes (2001-08-10 19:53:24)
- Campbell, John (2001-08-09 16:03:12)
- Fred Barnes (2001-08-08 18:08:57)
- ianeast (2001-08-08 15:53:42)
- Lawrence Dickson (2001-08-08 17:37:39)
- Campbell, John (2001-08-08 18:33:56)
- ianeast (2001-08-08 15:53:42)
- Campbell, John (2001-08-08 16:41:45)
Comms warm a bit to reconfigurable processor
- A E Lawrence (2001-03-30 21:03:35)
- G. S. Stiles (2001-03-30 03:44:32)
CommsTime times?
- Richard Beton (2000-11-21 11:04:14)
- P.H.Welch (2000-11-21 12:29:37)
- Gerald H. Hilderink (2000-11-17 18:52:20)
- O'Neill, Brian (2000-11-17 14:50:10)
- Gerald H. Hilderink (2000-11-17 13:54:35)
- P.H.Welch (2000-11-17 14:19:43)
- P.H.Welch (2000-11-17 12:55:56)
- B.M. Cook (2000-11-17 09:02:10)
- B.M. Cook (2000-11-17 11:13:30)
- P.H.Welch (2000-11-16 19:05:20)
- P.H.Welch (2000-11-16 18:50:09)
- Oyvind Teig (2000-11-14 07:22:10)
- Oyvind Teig (2000-11-13 12:59:46)
- Dyke Stiles (2000-11-08 23:49:46)
- D.C.Wood (2000-11-09 15:58:12)
Communicating Process Architectures 2000
- P.H.Welch (2000-08-02 18:04:50)
Complexity change in top-down design
- Xyvind Teig (1998-06-22 13:44:58)
Complexity Control vs. High Quality
- Lawrence Dickson (2003-03-19 17:15:30)
- marcel.boosten_at_email.domain.hidden (2003-03-19 10:11:27)
Complexity Management is the Future for CSP
- David Moore (2001-08-15 12:27:13)
- A E Lawrence (2001-08-14 20:06:29)
- ianeast (2001-08-14 16:05:03)
- A E Lawrence (2001-08-15 14:13:34)
- Jim Davies (2001-08-15 13:04:08)
- ianeast (2001-08-13 09:53:08)
- oyvind.teig_at_email.domain.hidden (2001-08-13 07:48:57)
- A E Lawrence (2001-08-13 21:16:55)
- oyvind.teig_at_email.domain.hidden (2001-08-13 08:21:02)
- Doug Lea (2001-08-11 15:32:39)
- Lawrence Dickson (2001-08-12 06:24:46)
- Gerald Hilderink (2001-08-11 12:39:35)
- marcel.boosten_at_email.domain.hidden (2001-08-09 11:33:44)
- Lawrence Dickson (2001-08-09 18:42:54)
Complexity Management is the Future for CSP etc.
- ianeast (2001-08-13 09:53:09)
- G. S. Stiles (2001-08-13 07:40:28)
- ianeast (2001-08-13 15:09:09)
Complexity Management is the Future of CSP
- oyvind.teig_at_email.domain.hidden (2001-08-16 07:27:16)
- Jim Davies (2001-08-15 14:29:40)
- David Moore (2001-08-15 13:52:43)
Complexity Management: what tools are needed??
- Mark Booth (2001-08-17 12:49:56)
- marcel.boosten_at_email.domain.hidden (2001-08-17 09:05:53)
- marcel.boosten_at_email.domain.hidden (2001-08-17 09:16:31)
- A E Lawrence (2001-08-16 20:28:00)
- Andrzej Lewandowski (2001-08-16 19:27:58)
- Dyke Stiles (2001-08-16 18:22:52)
- oyvind.teig_at_email.domain.hidden (2001-08-16 14:01:03)
- G. S. Stiles (2001-08-16 13:50:27)
Compliant processes
- A E Lawrence (2001-08-09 07:41:28)
- A E Lawrence (2001-08-02 08:50:48)
Composition not the way to go???
- dyke (1998-05-19 23:52:42)
Composition, temporal logic and CSP.
- Adrian Lawrence (1998-05-28 19:01:34)
Computer Weekly - 25th Nov 99
- Richard Beton (1999-11-25 15:32:22)
ComsTime
- Gerald H. Hilderink (2000-11-17 11:52:19)
- Gerald H. Hilderink (2000-11-13 20:47:56)
Concurrency, Exceptions and Poison
- P.H.Welch_at_email.domain.hidden (2001-09-09 14:33:48)
- ianeast (2001-09-10 18:07:55)
- Campbell, John (2001-09-10 21:46:32)
- Gerald Hilderink (2001-09-10 12:07:55)
Concurrent OO by Meyer
- ianeast (2001-08-02 12:06:19)
- ianeast (2001-08-02 12:06:19)
- Lawrence Dickson (2001-08-02 17:44:33)
- M_Boosten (2001-08-02 06:13:54)
- ianeast (2001-08-01 11:13:35)
- Lawrence Dickson (2001-08-01 18:32:45)
- M_Boosten (2001-08-01 06:49:15)
- ianeast (2001-08-01 11:13:35)
Conflicting Priorities in CSPP
- Adrian Lawrence (1999-04-17 22:01:29)
Conflicting Priorities in occam
- Adrian Lawrence (1999-03-20 18:19:58)
- Denis A Nicole (1999-03-17 18:52:42)
- Denis A Nicole (1999-03-17 17:45:17)
- Adrian Lawrence (1999-03-11 23:18:33)
- Adrian Lawrence (1999-03-10 18:54:41)
- Adrian Lawrence (1999-03-10 18:49:58)
- Adrian Lawrence (1999-03-09 15:57:27)
- Adrian Lawrence (1999-03-08 23:54:16)
- Adrian Lawrence (1999-03-04 11:35:34)
- A E Lawrence (1999-03-04 08:03:05)
- Oyvind Teig (1999-03-04 07:17:56)
- Adrian Lawrence (1999-03-03 12:57:04)
- james_wolffe_at_email.domain.hidden (1999-03-03 11:50:37)
- Adrian Lawrence (1999-03-03 07:47:45)
- Adrian Lawrence (1999-03-02 23:27:18)
- P.H.Welch_at_email.domain.hidden (1999-03-02 21:21:55)
- P.H.Welch_at_email.domain.hidden (1999-03-02 21:20:57)
- P.H.Welch_at_email.domain.hidden (1999-03-02 21:20:22)
- P.H.Welch_at_email.domain.hidden (1999-03-02 21:18:19)
- A E Lawrence (1999-03-02 19:32:43)
- A E Lawrence (1999-03-02 19:21:04)
- Lawrence Dickson (1999-03-02 14:57:57)
- james_wolffe_at_email.domain.hidden (1999-03-02 13:17:57)
- Adrian Lawrence (1999-03-02 11:29:34)
- Oyvind Teig (1999-03-02 07:33:10)
- Adrian Lawrence (1999-03-01 23:36:19)
- Adrian Lawrence (1999-03-01 22:32:51)
- Lawrence Dickson (1999-03-01 22:09:46)
- Rick Beton (1999-03-01 17:40:11)
- B.M. Cook (1999-03-01 17:12:05)
- Adrian Lawrence (1999-03-01 16:46:16)
- B.M. Cook (1999-03-01 16:38:30)
- james_wolffe_at_email.domain.hidden (1999-03-01 16:29:48)
- B.M. Cook (1999-03-01 15:50:43)
- Adrian Lawrence (1999-03-01 15:35:32)
- Adrian Lawrence (1999-03-01 15:25:42)
- B.M. Cook (1999-03-01 15:21:52)
- Adrian Lawrence (1999-03-01 15:21:17)
- Adrian Lawrence (1999-03-01 14:58:16)
- james_wolffe_at_email.domain.hidden (1999-03-01 13:06:41)
- B.M. Cook (1999-03-01 12:45:43)
- A E Lawrence (1999-03-01 07:54:06)
- Adrian Lawrence (1999-02-28 22:05:43)
- P.H.Welch_at_email.domain.hidden (1999-02-28 19:15:28)
- Adrian Lawrence (1999-02-27 09:18:32)
- Adrian Lawrence (1999-02-27 00:40:47)
- Adrian Lawrence (1999-02-27 00:36:58)
CPA 2001 (WoTUG-24)
- P.H.Welch (2001-02-27 11:54:51)
CPA 2002 DEADLINE APPROACHING
- James Pascoe (2002-06-07 14:31:09)
CPA 2003
- Ruth Ivimey-Cook (2003-04-15 03:52:09)
CPA 2004 Brochure
- Michael Poole (2004-03-18 09:49:36)
- Ian East (2004-03-18 09:04:44)
CPA 2004 Call for Papers
- Ian East (2004-02-24 12:09:01)
CPA 2004 programme and registration
- Beton, Richard (2004-09-03 16:12:42)
- P.H.Welch (2004-08-03 19:28:08)
CPA 2004 Registration
- Ian East (2004-07-07 09:16:06)
- Ian East (2004-07-06 20:28:33)
CPA 2004 URL
- Denis A Nicole (2004-01-29 11:34:51)
CPA 2004 URL, theme, and CFP
- Ruth Ivimey-Cook (2004-01-22 22:36:47)
- Ian East (2004-01-22 20:44:52)
CPA session at PDTPA'2001
- P.H.Welch (2001-02-23 18:31:36)
CPA-2001 Call for Delegates
- P.H.Welch_at_email.domain.hidden (2001-07-20 15:29:16)
CPA-2001 is *** SOOOON ***
- O'Neill, Brian (2001-09-07 11:41:30)
- Alan Chalmers (2001-09-03 11:53:52)
CPA-2002, IEE and BCS
- James Pascoe (2002-05-27 16:56:48)
CPA-2003 Tutorial on CSP available.
- A E Lawrence (2003-09-12 18:38:57)
- A E Lawrence (2003-09-11 20:47:54)
CPA2003 call for participation
- Ruth Ivimey-Cook (2003-08-26 16:23:04)
- Broenink, J.F. (2003-08-13 14:31:48)
CPA2004 Updates to wotug.org
- Ruth Ivimey-Cook (2004-10-04 17:20:37)
CPA: Where to publish?
- Dyke Stiles (2001-09-26 17:27:33)
- johan.sunter_at_email.domain.hidden (2001-09-21 15:10:27)
- Ruth Ivimey-Cook (2001-09-29 23:17:01)
- p0072370 (2001-09-27 15:00:00)
- Alastair Allen (2001-09-26 17:16:15)
- p0072370 (2001-09-26 16:04:31)
- A E Lawrence (2001-09-26 11:18:55)
- p0072370 (2001-09-26 10:50:45)
- Ruth Ivimey-Cook (2001-09-24 23:08:29)
- Nan C Schaller (2001-09-24 12:33:16)
- johan.sunter_at_email.domain.hidden (2001-09-24 07:56:01)
- ianeast (2001-09-21 08:54:30)
- johan.sunter_at_email.domain.hidden (2001-09-21 08:07:10)
- ianeast (2001-09-20 15:14:05)
CriticalSection in VisaulC++ in C
- johan.sunter_at_email.domain.hidden (2000-05-02 10:30:37)
- Oyvind Teig (2000-05-02 09:38:28)
- Jim Moores (2000-04-27 11:03:26)
- Dyke Stiles (2000-04-27 16:50:21)
- Oyvind Teig (2000-04-27 09:17:19)
CSP and Isolates
- Tony Gore (2001-10-14 18:09:14)
- Hilderink, G.H. (2001-10-12 15:03:17)
- P.H.Welch (2001-10-12 00:17:20)
CSP and LL-CSP
- A E Lawrence (2000-09-26 14:09:05)
- M_Boosten (2000-09-26 13:44:42)
CSP and Petri nets?
- Jon Kerridge (1999-06-14 11:52:32)
- Lawrence Dickson (1999-06-11 19:22:52)
- P.H.Welch (1999-06-11 12:34:27)
- dyke (1999-06-11 00:08:57)
CSP and the middle ground
- P.H.Welch (2001-10-11 23:56:36)
CSP article
- Jeremy Martin (2002-01-24 08:57:16)
- Jeremy Martin (2002-01-23 14:02:24)
csp as database query language
- Campbell, John (2003-03-17 18:30:48)
- Stephen Maudsley (2003-03-17 13:47:21)
- A E Lawrence (2003-03-17 10:58:12)
- Gordon Hutchison (2003-03-17 10:00:21)
- Tony Gore (2003-03-16 10:57:47)
- A E Lawrence (2003-03-15 14:24:35)
- Stephen Maudsley (2003-03-15 06:56:33)
- Campbell, John (2003-03-14 17:52:04)
CSP book on-line
- P.H.Welch (2003-04-07 16:41:18)
CSP events and synchronization costs?
- Campbell, John (2001-08-07 17:21:35)
- A E Lawrence (2001-08-07 16:04:23)
- Campbell, John (2001-08-07 15:29:42)
CSP fonts
- ianeast (2002-10-28 20:16:21)
- Dyke Stiles (2002-10-28 19:54:46)
- Jim Davies (2002-10-28 18:50:47)
- Jim Davies (2002-10-28 18:08:57)
- ianeast (2002-10-28 17:48:44)
CSP for hardware design
- Campbell, John (1999-04-29 16:18:33)
CSP for OS?
- Lawrence Dickson (1999-05-10 22:00:41)
- Richard Beton (1999-05-10 18:28:13)
- dyke (1999-05-10 16:19:14)
CSP in fault tolerance?
- Dyke Stiles (2002-04-02 17:58:12)
CSP library for VxWorks/Posix
- Oyvind Teig (1999-08-31 07:48:39)
CSP Mailinglist Problems
- P.H.Welch_at_email.domain.hidden (2001-09-09 14:31:30)
- marcel.boosten_at_email.domain.hidden (2001-09-06 13:59:41)
CSP solves Component Software Problems?
- marcel.boosten_at_email.domain.hidden (2001-08-27 08:53:25)
CSP Technology Slides
- Andrzej Lewandowski (2003-03-19 17:01:54)
- marcel.boosten_at_email.domain.hidden (2003-03-19 16:16:41)
CSP, JMM and better processor architectures
- P.H.Welch (2001-10-12 15:06:37)
- P.H.Welch (2001-10-12 00:06:49)
CSP, usability, profit, Java, etc.
- M_Boosten (2000-10-05 09:01:08)
CSP, Z and Java: thesis
- A E Lawrence (2000-04-27 22:14:52)
CSP-OZ Backtracking.
- Campbell, John (2000-10-02 17:21:18)
- Campbell, John (2000-10-02 18:27:06)
- lsfreitas_at_email.domain.hidden (2000-09-30 00:36:40)
- Campbell, John (2000-09-29 22:07:29)
- lsfreitas_at_email.domain.hidden (2000-09-27 17:49:59)
CSP/JCSP Tutorial at PDPTA 2001
- P.H.Welch (2001-10-31 17:32:37)
- P.H.Welch (2001-10-30 19:24:35)
CSPP - dressed semantics.
- Adrian Lawrence (1999-04-08 21:01:42)
- Adrian Lawrence (1999-04-07 19:51:52)
CSPP preprint
- A E Lawrence (2003-09-12 15:54:55)
CSPP, Acceptances and constraining the event selection/firing mechanism
- A E Lawrence (2001-08-22 11:22:55)
- Gordon Hutchison (2001-08-22 10:16:44)
- A E Lawrence (2001-08-22 11:14:12)
CTJ-library version 0.9, revision 10.
- Gerald H. Hilderink (1998-08-24 14:12:49)
Data Sharing Problem
- M_Boosten (2000-10-23 12:31:11)
- A E Lawrence (2000-10-23 21:53:19)
Database transactions, a Higher-level primitive in CSP?
- Richard Beton (2000-09-27 09:57:17)
- M_Boosten (2000-09-27 09:05:37)
- M_Boosten (2000-09-26 16:22:05)
- M_Boosten (2000-09-27 14:48:04)
- Oyvind Teig (2000-09-27 08:09:18)
Deadlock free routing
- Denis A Nicole (1997-06-26 17:48:10)
- Paul Walker (1997-06-26 16:07:52)
- jsunter (1997-06-26 15:06:29)
- jsunter (1997-06-26 15:00:09)
- Richard Beton (1997-06-26 14:14:07)
- Xyvind Teig (1997-06-26 13:39:18)
Deadlock free routing (2)
- Xyvind Teig (1997-06-27 08:35:10)
design & checking tools
- Andre Bakkers (1999-04-22 14:33:32)
design by contract
- Lawrence Dickson (1998-09-22 14:54:40)
Disable interrupts in critical sections?
- Oyvind Teig (1999-08-10 14:30:23)
- Tony Gore (1999-08-10 17:18:29)
- B.M. Cook (1999-08-10 15:14:02)
Does anyone recognise this?
- A E Lawrence (2002-09-02 10:02:45)
Doing Hard Real-Time
- Lawrence Dickson (2003-03-21 15:46:53)
- Ruth Ivimey-Cook (2003-03-21 01:36:57)
- Lawrence Dickson (2003-03-20 17:17:11)
- Lawrence Dickson (2003-03-20 17:12:15)
- Hilderink, G.H. (2003-03-20 17:04:13)
- ianeast (2003-03-20 16:34:46)
- ianeast (2003-03-20 16:34:43)
- ianeast (2003-03-20 16:34:44)
- Ruth Ivimey-Cook (2003-03-20 15:38:03)
- Hilderink, G.H. (2003-03-20 13:50:21)
- Ruth Ivimey-Cook (2003-03-20 12:12:00)
- Lawrence Dickson (2003-03-19 18:15:34)
- ianeast (2003-03-19 16:51:31)
- ianeast (2003-03-19 16:51:34)
- ianeast (2003-03-19 16:51:33)
Doing Hard Real-Time...
- ianeast (2003-03-19 16:51:29)
Dynamic composition constructs
- Adrian Lawrence (1999-04-26 16:15:15)
- Gerald Hilderink (1999-04-26 11:45:21)
Dynamic Priority
- A E Lawrence (1999-04-29 19:44:39)
- Adrian Lawrence (1999-04-29 02:33:09)
- Adrian Lawrence (1999-04-28 11:21:22)
- Adrian Lawrence (1999-04-27 19:06:50)
- Richard Beton (1999-04-27 17:53:05)
- james_wolffe_at_email.domain.hidden (1999-04-27 14:53:22)
- Adrian Lawrence (1999-04-27 07:53:58)
- Oyvind Teig (1999-04-27 07:06:47)
- Gerald Hilderink (1999-04-26 23:15:38)
- Adrian Lawrence (1999-04-26 20:25:36)
- Gerald Hilderink (1999-04-26 10:56:24)
- Oyvind Teig (1999-04-26 07:00:47)
- Adrian Lawrence (1999-04-26 06:32:44)
- Adrian Lawrence (1999-04-26 06:31:30)
- Adrian Lawrence (1999-04-25 16:03:37)
- Adrian Lawrence (1999-04-24 23:16:06)
- Adrian Lawrence (1999-04-21 06:01:18)
Elegance of *To***Channels
- A E Lawrence (2001-07-31 10:52:10)
- Lawrence Dickson (2001-07-31 17:16:40)
- ianeast (2001-07-31 13:22:16)
- A E Lawrence (2001-07-31 10:52:10)
- M_Boosten (2001-07-31 12:51:15)
- M_Boosten (2001-07-31 08:50:55)
- Gerald Hilderink (2001-07-31 09:43:52)
- oyvind.teig_at_email.domain.hidden (2001-07-31 09:00:06)
Emperor's new clothes - ACM followup.
- Andrzej Lewandowski (2002-02-08 23:25:00)
- Lawrence Dickson (2002-02-08 20:14:06)
- Andrzej Lewandowski (2002-02-06 12:15:19)
- Jim Davies (2002-02-05 12:09:21)
- Lawrence Dickson (2002-02-04 23:33:04)
- Lewandowski, Andrzej (2002-02-04 18:57:40)
- Jim Davies (2002-02-04 19:03:56)
- Dyke Stiles (2002-02-04 17:51:48)
Eric Verhulst on again!
- Oyvind Teig (1999-07-28 12:00:59)
EuroPar'97
- Richard Beton (1997-07-03 14:07:27)
- eng267_at_email.domain.hidden (1997-07-03 12:17:29)
EuroPar'97 - see http://brahms.fmi.uni-passau.de/cl/europar97/
- Richard Beton (1997-06-27 14:40:58)
events in OO
- A E Lawrence (2001-08-21 23:22:31)
- Gerald Hilderink (2001-08-21 13:03:59)
- marcel.boosten_at_email.domain.hidden (2001-08-21 12:01:10)
- Jim Davies (2001-08-17 11:28:51)
- marcel.boosten_at_email.domain.hidden (2001-08-17 07:56:45)
- Paddy Nixon (2001-08-16 13:49:05)
- oyvind.teig_at_email.domain.hidden (2001-08-16 14:14:17)
- Paddy Nixon (2001-08-16 16:40:00)
- A E Lawrence (2001-08-14 19:27:36)
- Gerald Hilderink (2001-08-14 18:23:02)
events in OO (Pro and Anti UML)
- marcel.boosten_at_email.domain.hidden (2001-08-22 09:18:53)
Experience with JCSP/CTJ/FDR
- Dyke Stiles (2001-01-30 16:34:24)
Extending_CSP: revised paper available
- Adrian Lawrence (1999-02-26 23:40:38)
Extreme decomposition questionable?
- Xyvind Teig (1998-09-14 11:10:48)
- Lawrence Dickson (1998-08-28 16:03:01)
- Xyvind Teig (1998-08-28 13:38:35)
- Xyvind Teig (1998-08-25 13:00:21)
- Lawrence Dickson (1998-08-23 05:46:00)
- Xyvind Teig (1998-08-19 07:31:19)
Extreme decomposition questionable? & Hoare book for sale cheap.
- dyke (1998-08-19 18:20:33)
F-CPU URL
- Adrian Lawrence (1999-04-17 12:03:29)
Faculty openings...
- Dyke Stiles (2002-09-30 23:43:01)
Final Call for Papers : CPA-2000
- P.H.Welch (2000-06-07 10:01:08)
Final call for participation Parallel Programming and Java conference 13-16 April '97
- Andre Bakkers (1997-04-01 11:03:50)
Final Call For Participation: Las Vegas, June 26-29, PDPTA + etc.
- P.H.Welch (2000-06-07 09:58:38)
Finishing off the proof of JCSP
- Jeremy Martin (1999-08-08 20:38:31)
Folding editor
- Oyvind Teig (1999-05-28 08:19:00)
Folding editors
- A E Lawrence (2001-02-05 22:38:05)
- jm40_at_email.domain.hidden (2001-02-05 20:06:07)
Folding editors etc.
- Dyke Stiles (2000-12-18 22:09:51)
For the love of CSP ...
- Lawrence Dickson (2000-10-09 03:24:16)
Formal Java?
- Dyke Stiles (2000-06-23 21:54:59)
Formal Techniques for Java
- Adrian Lawrence (1999-04-16 23:21:24)
Formal Underpinnings of Java (fwd)
- dyke (1998-06-08 21:46:21)
- Adrian Lawrence (1998-06-08 20:03:56)
Formal Underpinnings of Java Workshop - Papers.
- dyke (1998-10-05 23:49:01)
Forwarding request ...
- P.H.Welch_at_email.domain.hidden (2001-06-04 12:41:03)
freehdl
- Adrian Lawrence (1999-04-17 12:05:56)
FSP->occam?
- Oyvind Teig (1999-04-30 08:04:20)
Future of CSP
- Lawrence Dickson (2001-08-19 21:15:47)
- marcel.boosten_at_email.domain.hidden (2001-08-21 13:46:34)
- Lawrence Dickson (2001-08-21 17:19:05)
- marcel.boosten_at_email.domain.hidden (2001-08-21 13:46:34)
- marcel.boosten_at_email.domain.hidden (2001-08-22 09:23:04)
- marcel.boosten_at_email.domain.hidden (2001-08-21 13:46:34)
- A E Lawrence (2001-08-16 14:40:05)
- oyvind.teig_at_email.domain.hidden (2001-08-16 08:31:52)
- Lawrence Dickson (2001-08-10 23:54:52)
- Lawrence Dickson (2001-08-10 23:54:52)
- Lawrence Dickson (2001-08-10 18:48:31)
- A E Lawrence (2001-08-10 11:02:28)
Future of CSP?
- marcel.boosten_at_email.domain.hidden (2001-08-21 12:25:36)
- A E Lawrence (2001-08-21 23:56:10)
- A E Lawrence (2001-08-17 18:36:02)
- Campbell, John (2001-08-17 18:21:02)
- Jim Davies (2001-08-17 18:38:54)
- A E Lawrence (2001-08-17 17:30:20)
- Jim Davies (2001-08-17 16:18:41)
- A E Lawrence (2001-08-17 16:00:48)
- A E Lawrence (2001-08-17 17:04:46)
- Jim Davies (2001-08-17 12:10:17)
- A E Lawrence (2001-08-16 02:06:51)
- A E Lawrence (2001-08-15 14:19:43)
- Jim Davies (2001-08-15 11:52:32)
- Gerald Hilderink (2001-08-15 12:17:09)
- oyvind.teig_at_email.domain.hidden (2001-08-14 06:55:31)
- A E Lawrence (2001-08-15 11:34:09)
- A E Lawrence (2001-08-13 20:49:16)
Future of CSP? (hardware compilation)
- marcel.boosten_at_email.domain.hidden (2001-08-21 13:56:25)
- A E Lawrence (2001-08-18 12:03:35)
- A E Lawrence (2001-08-18 12:26:29)
- A E Lawrence (2001-08-17 23:01:51)
- Campbell, John (2001-08-18 00:36:20)
- Campbell, John (2001-08-17 19:33:42)
Future of CSP?: meaning of skip
- A E Lawrence (2001-08-17 23:11:13)
- Gordon Hutchison (2001-08-17 18:28:04)
- A E Lawrence (2001-08-17 17:40:48)
- Gordon Hutchison (2001-08-17 16:39:03)
FYI- JProbe Threadalyzer
- Oyvind Teig (1999-06-24 07:31:51)
- P.H.Welch (1999-06-23 15:21:32)
FYI...
- G. S. Stiles (1998-09-25 03:41:11)
Geometry of CSP?
- Gerald Hilderink (2001-08-17 13:03:26)
- A E Lawrence (2001-08-17 14:28:40)
- marcel.boosten_at_email.domain.hidden (2001-08-17 07:24:31)
- G. S. Stiles (2001-08-17 06:08:30)
- oyvind.teig_at_email.domain.hidden (2001-08-17 07:45:33)
GNU EDA
- Adrian Lawrence (1999-04-17 12:08:18)
Hamid's reaction on Website blues... fixed
- marcel.boosten_at_email.domain.hidden (2003-04-22 07:40:38)
Hi (joining list)
- A E Lawrence (2000-10-13 16:08:45)
- Test (2000-10-13 12:14:23)
HPC in CSA
- P.H.Welch (2002-01-03 15:22:22)
http://rt.el.utwente.nl/wotug20
- Andre Bakkers (1997-04-01 13:00:21)
IBM Embedded Systems Seminar: Java
- Adrian Lawrence (1997-04-18 14:18:17)
ICoTec
- Beton, Richard (2003-03-10 10:25:32)
- Stephen Maudsley (2003-03-08 17:47:12)
- marcel.boosten_at_email.domain.hidden (2003-03-07 06:17:27)
IDL as common interface
- Oyvind Teig (1999-08-26 13:23:19)
- Oyvind Teig (1999-08-26 12:02:53)
IEEE Computer article summary
- Paul Walker (1998-03-24 14:49:15)
imitation hi-pri occam tool?
- Lawrence Dickson (2000-12-11 19:23:31)
IMS D100 file format question
- Michael Poole (2004-08-04 10:20:17)
- Denis A Nicole (2004-08-03 20:53:23)
Inferno applets
- Paul Walker (2000-12-08 08:29:01)
Inheritance that can add/remove and new occam?
- Lawrence Dickson (2000-10-24 19:01:52)
- Oyvind Teig (2000-10-24 18:55:32)
- Nayef Baker (2000-10-24 17:53:45)
- O'Neill, Brian (2000-10-24 17:01:56)
- Oyvind Teig (2000-10-24 08:26:45)
- A E Lawrence (2000-10-23 22:37:20)
- Philippe Lemaire (2000-10-23 15:34:58)
- Nayef Baker (2000-10-23 14:45:56)
- Oyvind Teig (2000-10-23 14:48:17)
- M_Boosten (2000-10-24 08:04:32)
- A E Lawrence (2000-10-23 22:33:37)
- Richard Beton (2000-10-23 17:27:24)
- Lawrence Dickson (2000-10-23 17:15:45)
- M_Boosten (2000-10-23 14:39:41)
INMOS B011
- Martin Paul F (SEC) (2000-04-19 16:03:31)
Inmos C Toolset
- Richard Beton (2000-04-13 09:37:10)
INPUT NEEDED: CSP for Hard Real-Time
- P.H.Welch (2003-03-19 09:08:58)
- Broenink, J.F. (2003-03-18 20:23:59)
- marcel.boosten_at_email.domain.hidden (2003-03-18 16:16:04)
- Ruth Ivimey-Cook (2003-03-18 14:08:31)
- Ian East (2003-03-18 09:30:51)
- marcel.boosten_at_email.domain.hidden (2003-03-18 07:41:49)
Introducing Spin.
- A E Lawrence (2003-09-20 12:05:32)
Invention of threads
- John Wexler (1998-12-15 10:20:08)
IOS Press publication
- Marcella janmaat (1998-01-06 15:49:15)
Is PRI PAR useful for hardware?
- Lawrence Dickson (1999-04-27 00:45:38)
- B.M. Cook (1999-04-26 21:43:45)
- A E Lawrence (1999-04-23 20:39:13)
- Roger Peel (1999-04-23 19:40:08)
- Adrian Lawrence (1999-04-21 05:59:31)
Is there some news about (multiple) SHARCs occam implementation ?
- Philippe LEMAIRE (1998-02-10 07:31:08)
It was a stressing weekend!
- Gerald Hilderink (1999-03-25 09:40:42)
- Gerald Hilderink (1999-03-24 22:51:32)
Java CSP classlib? where?
- Mark Ian Barlow (1997-04-17 15:28:52)
Java IDE?
- P.H.Welch (2002-01-08 18:28:20)
JavaPP -- ALTing with timeout and SKIP guards
- phw (1997-06-17 19:52:59)
JavaPP ALTing with timers
- phw (1997-06-18 17:04:33)
JavaPP: A new link driver for the Internet.
- Gerald H. Hilderink (1997-08-01 12:44:47)
- Gerald H. Hilderink (1997-08-01 11:20:54)
JavaSpaces...
- Xyvind Teig (1998-06-16 07:55:07)
- phw (1998-06-15 12:18:28)
- Paddy Nixon (1998-06-15 11:42:31)
JCSP (JavaPP) library now available
- phw (1998-06-19 16:03:15)
JCSP 0.94 release
- Richard Beton (1999-10-22 09:00:19)
- P.H.Welch (1999-10-14 17:48:42)
JCSP and realtime java processors.
- Stephen Maudsley (2002-01-31 16:05:14)
- P.H.Welch (2002-01-29 19:04:43)
JCSP Network Edition
- Jim (2002-05-01 11:15:58)
- Jim (2002-05-01 10:04:40)
JCSP Network Edition ...
- P.H.Welch (2002-04-26 18:35:32)
JCSP Network Edition now available from Quickstone Technologies Limited.
- P.H.Welch (2002-04-30 20:24:09)
- Jim (2002-04-25 16:10:02)
JDK 1.1.2 and the Kaffe JVM (0.9.1)
- phw (1997-08-01 14:36:14)
JEdit - a Java folding editor
- Tom Locke (2001-06-13 09:14:05)
- Richard Beton (2001-06-12 17:28:29)
Job openings...
- Dyke Stiles (2000-02-18 16:50:12)
Julian Wilson's email address
- Øyvind Teig (2002-05-13 11:30:46)
Kristen Nygard - RIP
- Andrzej Lewandowski (2002-08-16 01:36:01)
KROC & occam on Linux
- P.H.Welch_at_email.domain.hidden (1998-07-07 21:47:29)
- MKabot_at_email.domain.hidden (1998-07-07 21:44:39)
- A E Lawrence (1998-07-07 19:29:55)
- Dave Beckett (1998-07-07 19:01:25)
KRoC (occam) for Linux released ...
- P.H.Welch_at_email.domain.hidden (1999-02-22 16:59:04)
Kroc for Win98/WinNT?
- Roger Peel (2000-04-13 12:16:01)
KRoC people: watch your feet!
- oyvind.teig_at_email.domain.hidden (2001-08-09 07:38:27)
KRoC version 1.2.3 for Linux released
- Frederick Barnes (2000-06-14 16:50:49)
Lamport "The Temporal Logic of Actions"
- G. S. Stiles (1998-05-26 05:35:45)
Lamport and toy languages
- Tony Gore (1998-05-31 19:45:31)
- A E Lawrence (1998-05-31 18:27:52)
- Lawrence Dickson (1998-05-31 02:20:03)
- phw (1998-05-26 15:43:26)
- Oyvind Teig (1998-05-25 11:17:57)
- Paddy Nixon (1998-05-25 10:34:36)
- Oyvind Teig (1998-05-25 10:11:55)
- Jon Kerridge (1998-05-25 09:18:37)
- Adrian Lawrence (1998-05-25 08:36:25)
Limbo - Java + CSP?
- Mark Ian Barlow (1997-06-18 18:00:08)
- B.M. Cook (1997-06-18 12:34:55)
Looking forward to the transputer
- Paul Walker (2001-01-31 12:52:40)
Loosing abstraction due to non-alting channels
- P.H.Welch (2000-03-02 17:56:12)
- Gerald H. Hilderink (2000-02-21 09:38:31)
Mailing list issues
- Tom Locke (2000-10-17 10:44:16)
- A E Lawrence (2000-10-17 12:57:42)
Making CSP into a success
- Lawrence Dickson (2000-09-29 17:32:50)
- Richard Beton (2000-09-29 17:49:10)
- M_Boosten (2000-09-29 14:52:07)
- M_Boosten (2000-09-29 13:59:15)
- Oyvind Teig (2000-09-29 10:01:56)
- M_Boosten (2000-09-29 08:23:50)
MALT: A Multiway Alternation
- Adrian Lawrence (1998-07-24 07:55:08)
March IEEE Computer Diatribe on Java
- Lawrence Dickson (1997-04-13 03:42:03)
- Dyke Stiles (1997-04-08 17:53:19)
- Paul Walker (1997-04-08 08:46:01)
Massively parallel FPGA systems
- Lawrence Dickson (2003-10-15 17:53:19)
- Lawrence Dickson (2003-10-15 16:51:00)
- Dyke Stiles (2003-10-14 13:31:25)
- Campbell, John (2003-10-14 00:23:27)
- Stephen Maudsley (2003-10-14 11:42:46)
- Roger Peel (2003-10-13 19:05:30)
- Tony Gore (2003-10-11 09:27:18)
- Lawrence Dickson (2003-10-10 23:14:27)
- A E Lawrence (2003-10-09 08:25:46)
- Richard Loosemore (2003-10-09 02:56:17)
- A E Lawrence (2003-10-08 15:18:09)
- Dyke Stiles (2003-10-08 14:34:08)
Meiko glitches...
- eng267_at_email.domain.hidden (1999-12-23 11:15:07)
- Denis A Nicole (1999-12-23 16:00:09)
- Dyke Stiles (1999-12-22 18:21:48)
Merging revisited
- A E Lawrence (2000-10-30 12:59:28)
Metastability
- A E Lawrence (2000-10-07 21:46:16)
- O'Neill, Brian (2000-09-28 17:31:18)
Micro$lime at work?
- A E Lawrence (2000-11-02 19:57:24)
Micron...
- O'Neill, Brian (2001-04-12 09:57:32)
- Dyke Stiles (2001-04-11 16:15:37)
Microsoft encouraging personal development...
- Stephen Maudsley (2002-04-29 16:41:02)
Minutes of a meeting with Fujitsu
- Eric Verhulst (1997-06-02 19:24:28)
- Alexander Anderson (1997-06-02 12:01:26)
- Paul Walker (1997-06-02 11:47:15)
- Kazuto.MATSUI_at_email.domain.hidden (1997-06-02 09:53:06)
Minutes of AGMs available
- Ruth Ivimey-Cook (2003-10-21 00:18:11)
Missing characters in CPA-2003 paper
- A E Lawrence (2003-09-11 20:27:48)
- Broenink, J.F. (2003-09-11 16:03:03)
- A E Lawrence (2003-09-11 14:49:54)
Mobile interaction and graphs
- A E Lawrence (2001-10-02 20:43:52)
Mobile Processes (was 'Slides from my talk at CPA2000')
- M_Boosten (2000-12-22 12:21:07)
- ianeast (2000-12-06 12:58:43)
- Tom Locke (2000-12-06 11:49:20)
Mobile variables
- Adrian Lawrence (1999-07-01 14:51:47)
- Adrian Lawrence (1999-06-30 18:51:45)
- Oyvind Teig (1999-07-01 08:40:13)
- Richard Beton (1999-06-30 09:16:52)
- A E Lawrence (1999-06-29 14:51:59)
- Adrian Lawrence (1999-06-29 13:58:54)
- B.M. Cook (1999-06-28 15:59:47)
- A E Lawrence (1999-06-26 21:34:19)
- A E Lawrence (1999-06-26 21:12:32)
- Lawrence Dickson (1999-06-24 17:23:24)
- Richard Beton (1999-06-24 14:03:46)
- Lawrence Dickson (1999-06-23 23:50:42)
- Adrian Lawrence (1999-06-23 21:32:12)
- A E Lawrence (1999-06-23 18:52:47)
- P.H.Welch (1999-06-23 12:12:53)
- Adrian Lawrence (1999-06-23 10:58:44)
- Paddy Nixon (1999-06-23 09:19:59)
- Paddy Nixon (1999-06-23 08:48:44)
- Adrian Lawrence (1999-06-22 19:28:14)
Model-View in CSP
- marcel.boosten_at_email.domain.hidden (2001-10-03 10:44:15)
More examples of how not to do things
- A E Lawrence (2004-06-06 19:48:32)
MORE INPUT NEEDED: CSP for Hard Real-Time
- Stephen Maudsley (2003-03-19 10:14:37)
- A E Lawrence (2003-03-19 09:04:23)
- Lawrence Dickson (2003-03-18 22:26:11)
- Ruth Ivimey-Cook (2003-03-18 22:09:53)
- Ruth Ivimey-Cook (2003-03-18 22:03:28)
- Lawrence Dickson (2003-03-18 21:43:32)
- ianeast (2003-03-18 21:27:32)
- ianeast (2003-03-18 18:30:34)
- Lawrence Dickson (2003-03-18 21:06:04)
- ianeast (2003-03-18 18:30:34)
- Stephen Maudsley (2003-03-18 17:54:58)
- Lawrence Dickson (2003-03-18 16:56:03)
- marcel.boosten_at_email.domain.hidden (2003-03-18 14:55:58)
MPP chips
- Lawrence Dickson (2003-10-15 16:41:14)
- Tony Gore (2003-10-15 09:29:49)
Multithreading statements
- Rick Beton (1999-04-16 17:35:20)
- J.Sunter (1999-04-16 14:51:06)
Name Change for WoTUG?
- Lawrence Dickson (2000-03-04 16:18:48)
- Adrian Lawrence (2000-03-03 20:19:52)
- Alastair Allen (2000-03-03 22:53:57)
- Ian East (2000-03-03 15:08:18)
- Alastair Allen (2000-03-03 22:45:53)
- Oyvind Teig (2000-03-03 11:48:10)
- Lawrence Dickson (2000-03-03 17:34:09)
- Oyvind Teig (2000-03-03 11:45:48)
- Richard Beton (2000-03-03 17:21:10)
- J.Moores (2000-03-03 10:22:13)
- O'Neill, Brian (2000-03-03 14:27:44)
New Book list on the web site
- Tony Gore (2002-07-08 10:29:00)
- Ruth Ivimey-Cook (2002-06-25 13:37:48)
New Book: CONCURRENCY
- Jeremy Martin (1999-04-22 10:00:08)
- Oyvind Teig (1999-04-22 07:45:55)
- Denis A Nicole (1999-04-21 15:56:52)
- Bryan Scattergood (1999-04-21 12:44:06)
- Oyvind Teig (1999-04-21 11:26:34)
- Denis A Nicole (1999-04-21 10:45:09)
- Oyvind Teig (1999-04-21 07:40:02)
- Lawrence Dickson (1999-04-20 19:51:34)
- p0072370 (1999-04-20 13:35:53)
- Rick Beton (1999-04-20 09:56:51)
- Oyvind Teig (1999-04-20 06:59:38)
- Prof Judith Bishop (1999-04-19 15:45:16)
- Ian East (1999-04-19 15:07:43)
- P.H.Welch (1999-04-19 13:04:44)
- Oyvind Teig (1999-04-19 10:37:05)
NEW CTJ 0.9 rev. 17
- Gerald H. Hilderink (2000-09-18 21:43:07)
New JCSP release
- P.H.Welch_at_email.domain.hidden (2001-07-16 18:22:24)
- P.H.Welch (2000-08-17 21:26:39)
New KRoC/Linux release (1.2.2)
- P.H.Welch (2000-05-05 12:00:59)
New language syntax
- Ruth Ivimey-Cook (2000-12-18 23:41:15)
- Ruth Ivimey-Cook (2000-12-18 23:42:48)
- Ruth Ivimey-Cook (2000-12-18 23:49:09)
- P.H.Welch (2000-12-21 20:19:09)
- Philippe Lemaire (2000-12-21 08:00:16)
- Lawrence Dickson (2000-12-21 18:20:42)
- O'Neill, Brian (2000-12-21 16:21:17)
- Philippe Lemaire (2000-12-21 08:00:16)
- IanPage99_at_email.domain.hidden (2000-12-20 10:36:00)
- Lawrence Dickson (2000-12-20 17:18:41)
- IanPage99_at_email.domain.hidden (2000-12-20 10:36:00)
- Lawrence Dickson (2000-12-19 17:15:06)
- Michael Poole (2000-12-19 12:46:49)
- Tony_at_email.domain.hidden (2000-12-18 21:20:09)
- jm40_at_email.domain.hidden (2000-12-18 17:45:11)
- A E Lawrence (2000-12-18 21:33:56)
New release of our Java-CSP library
- P.H.Welch_at_email.domain.hidden (1998-07-07 16:43:16)
New Swing Library (JFC)
- phw (1998-04-03 15:46:55)
- Denis A Nicole (1998-04-03 12:36:38)
- phw (1998-04-03 10:06:51)
New TextPad syntax definitions file for occam
- Richard Beton (2000-10-16 18:40:24)
New updates on paper db for WoTUG
- Alastair Allen (2003-06-20 13:17:53)
- Ruth Ivimey-Cook (2003-06-20 11:07:21)
News from a MS researcher
- P.H.Welch (2002-04-26 17:48:47)
Next WoTUG conference (the 23rd.)
- Ruth Ivimey-Cook (2000-03-05 14:32:33)
- P.H.Welch (2000-03-03 09:21:58)
- Campbell, John (2000-03-02 17:40:32)
- P.H.Welch (2000-03-02 16:48:42)
Next WoTUG Meeting
- Jon Kerridge (1997-09-09 09:20:06)
No message for 6 months
- Philippe Lemaire (2003-03-18 08:17:26)
- A E Lawrence (2003-03-17 20:33:50)
- A E Lawrence (2003-03-09 13:18:10)
- Stephen Maudsley (2003-03-08 17:47:14)
- Ruth Ivimey-Cook (2003-03-08 08:55:18)
- P.H.Welch (2003-03-07 13:38:06)
- ianeast (2003-03-07 11:24:25)
- ianeast (2003-03-07 11:24:23)
- A E Lawrence (2003-03-07 10:44:05)
- Lawrence Dickson (2003-03-06 21:08:08)
- Dyke Stiles (2003-03-06 20:00:18)
- P.H.Welch (2003-03-06 18:42:47)
- Beton, Richard (2003-03-07 10:39:41)
- Fred Barnes (2003-03-06 23:47:53)
- Campbell, John (2003-03-06 23:10:05)
- ianeast (2003-03-06 19:35:55)
- P.H.Welch (2003-03-06 18:18:05)
- Beton, Richard (2003-03-06 18:01:49)
- Beton, Richard (2003-03-06 18:06:05)
- P.H.Welch (2003-03-06 16:46:11)
- Herman Roebbers (2003-03-05 19:56:48)
- ianeast (2003-03-05 18:50:43)
- Lawrence Dickson (2003-03-05 16:22:03)
- oyvind.teig_at_email.domain.hidden (2003-03-05 12:14:48)
- Denis A Nicole (2003-03-05 12:02:10)
- A E Lawrence (2003-03-05 09:08:02)
- Philippe Lemaire (2003-03-05 08:32:10)
Objects, processes, and encapsulation
- johan.sunter_at_email.domain.hidden (2001-10-10 07:40:39)
- Gerald Hilderink (2001-10-09 20:21:15)
- Lawrence Dickson (2001-10-09 23:44:25)
- IanPage99_at_email.domain.hidden (2001-10-09 21:23:52)
- Gerald Hilderink (2001-10-09 20:21:15)
- ianeast (2001-10-09 20:06:27)
- Lawrence Dickson (2001-10-09 16:52:56)
- P.H.Welch (2001-10-09 15:22:16)
- Andrzej Lewandowski (2001-10-09 13:36:21)
- IanPage99_at_email.domain.hidden (2001-10-09 12:27:31)
- P.H.Welch (2001-10-08 13:40:39)
- oyvind.teig_at_email.domain.hidden (2001-10-08 08:48:49)
- p0072370 (2001-10-05 13:11:35)
- P.H.Welch (2001-10-05 16:58:21)
- p0072370 (2001-10-05 18:03:46)
- p0072370 (2001-10-05 13:11:35)
- A E Lawrence (2001-10-04 22:09:22)
- Lawrence Dickson (2001-10-04 16:57:09)
- Dyke Stiles (2001-10-04 15:37:56)
- Twan Basten (2001-10-04 14:14:50)
- P.H.Welch (2001-10-04 14:19:47)
- ianeast (2001-10-04 12:54:04)
- oyvind.teig_at_email.domain.hidden (2001-10-04 11:57:57)
- ianeast (2001-10-04 11:05:56)
- ianeast (2001-10-04 11:05:55)
- oyvind.teig_at_email.domain.hidden (2001-10-04 07:22:43)
- ianeast (2001-10-03 09:14:01)
- marcel.boosten_at_email.domain.hidden (2001-10-04 07:09:14)
- ianeast (2001-10-03 09:14:01)
- Lawrence Dickson (2001-10-03 17:08:32)
- Hilderink, G.H. (2001-10-03 15:27:02)
- oyvind.teig_at_email.domain.hidden (2001-10-03 12:27:19)
- Hilderink, G.H. (2001-10-03 09:30:53)
- ianeast (2001-10-03 09:14:01)
- johan.sunter_at_email.domain.hidden (2001-10-03 07:43:44)
- marcel.boosten_at_email.domain.hidden (2001-10-03 06:56:17)
- ianeast (2001-10-02 18:54:01)
- Hilderink, G.H. (2001-10-02 15:14:15)
- marcel.boosten_at_email.domain.hidden (2001-10-02 12:33:34)
- p0072370 (2001-10-01 12:19:23)
- P.H.Welch (2001-09-28 13:27:03)
- ianeast (2001-09-28 11:30:15)
Observer Pattern
- Tom Locke (2000-10-17 11:36:31)
occam (and Java) mentioned in "Hybrid stacks for a lower memory overhead"
- oyvind.teig_at_email.domain.hidden (2001-08-08 07:26:59)
occam 2.1 / 2.5 definition
- Richard Beton (2000-01-27 10:39:01)
- B.M. Cook (2000-01-27 10:29:18)
occam and inheritance and delegation
- Oyvind Teig (1998-10-29 08:45:25)
- J.Moores (1998-10-28 10:26:09)
- Oyvind Teig (1998-10-28 07:55:30)
occam and Limbo
- phw (1997-09-30 22:17:48)
- Xyvind Teig (1997-09-30 16:17:59)
occam and RT kernels
- J.Moores (1998-06-01 12:34:32)
- Denis A Nicole (1998-06-01 12:12:17)
Occam compiler using gcc
- Ruth Ivimey-Cook (2001-08-29 22:25:23)
- Lawrence Dickson (2001-08-29 23:56:39)
- Ruth Ivimey-Cook (2001-08-29 22:25:23)
- Lawrence Dickson (2001-08-29 23:36:22)
- oyvind.teig_at_email.domain.hidden (2001-09-05 07:10:53)
- Denis A Nicole (2001-09-04 14:59:15)
- oyvind.teig_at_email.domain.hidden (2001-08-31 12:09:00)
- Ruth Ivimey-Cook (2001-08-28 23:01:28)
- Lawrence Dickson (2001-08-29 00:08:24)
- Ruth Ivimey-Cook (2001-08-28 23:19:44)
- Ruth Ivimey-Cook (2001-08-28 23:01:28)
- Gerald Hilderink (2001-08-28 18:29:17)
- Ruth Ivimey-Cook (2001-08-25 14:10:37)
- Lawrence Dickson (2001-08-28 16:19:49)
- Ruth Ivimey-Cook (2001-08-25 14:10:37)
occam for ARM
- Mark Booth (1998-02-09 20:15:36)
- phw (1998-02-09 15:25:43)
- Ian East (1998-02-09 15:09:41)
Occam TIMERs - was Dynamic Priority
- Roger Peel (1999-04-28 15:23:43)
occam to .NET intermediate language MSIL
- oyvind.teig_at_email.domain.hidden (2001-01-29 09:13:30)
Occam vs Transputers
- Sture Carlson (2000-09-22 13:39:18)
Occam vs. monitor
- Denis A Nicole (1998-05-28 11:38:25)
- Oyvind Teig (1998-05-28 07:12:25)
- phw (1998-05-27 18:58:30)
- Denis A Nicole (1998-05-27 00:13:46)
- phw (1998-05-26 16:07:11)
Occam vs. monitors
- Oyvind Teig (1998-05-27 06:49:13)
OCCAM, JOYCE, SUPERPASCAL AND JAVA
- Denis A Nicole (1999-06-09 11:21:48)
- Oyvind Teig (1999-06-09 06:54:42)
- P.H.Welch (1999-06-08 18:49:09)
- Adrian Lawrence (1999-06-07 20:39:08)
- Denis A Nicole (1999-06-07 10:30:16)
- Adrian Lawrence (1999-06-06 17:48:51)
- Lawrence Dickson (1999-06-06 17:04:07)
- Adrian Lawrence (1999-06-04 21:38:58)
- Denis A Nicole (1999-06-04 15:31:28)
- Christopher C R Jones (1999-05-28 10:45:14)
- P.H.Welch (1999-05-26 09:35:53)
- P.H.Welch (1999-05-24 20:14:31)
- Per Brinch Hansen (1999-05-23 00:01:21)
occam-com Web Archives. Test list available.
- Ruth Ivimey-Cook (2003-05-20 18:02:52)
occam: "inability to encapsulate objects"(?)
- P.H.Welch (2001-05-04 12:09:20)
- Tom Locke (2001-05-04 11:44:04)
- oyvind.teig_at_email.domain.hidden (2001-05-02 11:15:17)
- Lawrence Dickson (2001-05-02 18:42:19)
occam: out ! 0 :: "" semantics
- P.H.Welch (2000-05-25 10:27:59)
- Oyvind Teig (2000-05-25 10:21:03)
Oh Java!
- phw (1997-07-31 13:54:45)
- Gerald H. Hilderink (1997-07-31 13:10:44)
Oh, Java!
- phw (1997-08-01 12:16:27)
- phw (1997-07-30 22:42:02)
OO and CSP
- Campbell, John (2000-10-23 19:34:00)
- M_Boosten (2000-10-23 10:43:02)
- A E Lawrence (2000-10-13 16:33:50)
- Campbell, John (2000-10-13 16:23:29)
OO and CSP (and real-time requirements)
- P.H.Welch (2000-10-24 17:57:29)
- A E Lawrence (2000-10-24 19:51:23)
- Oyvind Teig (2000-10-23 08:35:26)
- A E Lawrence (2000-10-20 21:36:06)
- Campbell, John (2000-10-20 19:17:15)
OO&CSP
- Lawrence Dickson (2002-02-11 22:43:29)
- ianeast (2002-02-11 19:51:54)
- P.H.Welch (2002-02-11 15:21:04)
- Gordon Hutchison (2002-02-11 13:15:59)
opendesign
- Adrian Lawrence (1999-04-16 22:53:39)
OUG Newsletters
- Ian East (1999-05-21 10:20:32)
PADS '99 Conference
- steve_at_email.domain.hidden (1998-10-08 19:29:39)
Paper about (T)ALT on top of FSM machine?
- oyvind.teig_at_email.domain.hidden (2003-03-17 14:01:08)
Paper about (T)ALT on top of FSM machine? (2)
- oyvind.teig_at_email.domain.hidden (2003-03-17 14:04:55)
Paper about (T)ALT on top of FSM machine? (3)
- oyvind.teig_at_email.domain.hidden (2003-03-18 08:22:44)
Paper database improved again :-)
- Alastair Allen (2002-10-07 18:31:31)
- Lawrence Dickson (2002-10-07 18:12:13)
- ianeast (2002-10-07 17:43:58)
- Ruth Ivimey-Cook (2002-10-07 15:44:43)
Paper database improved and online
- Ruth Ivimey-Cook (2002-08-12 14:03:38)
Paper from Cassiano
- phw (1997-03-07 11:26:36)
Paradigms
- Paul Walker (1997-06-26 15:31:58)
Parallel Computing and the Computer Science Curriculum
- P.H.Welch (2002-04-26 17:52:41)
Parallel Concurrency in Real-Time
- Ruth Ivimey-Cook (1999-10-23 11:00:54)
- Lawrence Dickson (1999-10-22 20:57:24)
- Campbell, John (1999-10-25 18:38:09)
- O'Neill, Brian (1999-10-25 09:36:30)
- Campbell, John (1999-10-25 18:08:47)
- Tony Gore (1999-10-22 09:27:23)
- Oyvind Teig (1999-10-22 07:43:55)
PARALLEL RECURSION
- Per Brinch Hansen (1999-05-24 03:04:49)
PCMIA Transputer cards??
- P.H.Welch (2000-10-17 16:15:02)
PDPTA 99 CFP
- dyke (1998-12-16 16:43:31)
PDPTA'2000 etc.
- P.H.Welch (1999-10-15 15:41:54)
PDTPA 2001 etc
- P.H.Welch (2001-02-23 18:21:14)
Perception of WoTUG and occam and transputers
- Lawrence Dickson (2003-10-03 16:32:45)
- Beton, Richard (2003-10-03 09:06:52)
- Tony Gore (2003-10-03 08:15:13)
- Mario Schweigler (2003-10-03 05:53:32)
- Ruth Ivimey-Cook (2003-10-03 00:42:59)
perfect fit?
- Lawrence Dickson (1999-05-06 15:16:45)
PhD Studentship
- Alastair Allen (2000-10-05 18:42:08)
PhD studentships available
- Alastair Allen (2004-08-31 15:37:56)
Philosophy
- M_Boosten (2001-07-26 15:13:31)
- M_Boosten (2001-07-26 09:38:09)
pi-calculus
- A E Lawrence (2000-10-07 23:23:24)
- B.M. Cook (2000-09-28 09:02:39)
- Richard Beton (2000-09-27 17:18:56)
Pi-Calculus vs. CSP
- Rick van Rein (1998-05-27 08:29:02)
Please don't add old mail context all the time
- oyvind.teig_at_email.domain.hidden (2001-09-10 12:59:12)
please use: brian.martin@ce
- ruthc_at_email.domain.hidden (1998-06-01 08:03:08)
Poison
- A E Lawrence (2001-08-02 16:14:26)
- ianeast (2001-08-02 12:06:18)
- A E Lawrence (2001-08-01 22:10:44)
- A E Lawrence (2001-08-01 12:10:37)
- A E Lawrence (2001-08-01 12:02:32)
- ianeast (2001-08-01 11:13:32)
- A E Lawrence (2001-08-01 12:02:32)
- Lawrence Dickson (2001-08-01 18:18:51)
- A E Lawrence (2001-07-31 22:52:20)
- ianeast (2001-08-01 16:14:50)
- ianeast (2001-07-31 13:22:14)
- A E Lawrence (2001-07-30 18:52:42)
- ianeast (2001-07-30 15:28:35)
- A E Lawrence (2001-07-30 11:29:00)
- ianeast (2001-07-30 15:53:15)
- p0072370 (2001-07-30 09:27:00)
- A E Lawrence (2001-07-27 17:47:07)
- ianeast (2001-07-27 16:04:09)
- oyvind.teig_at_email.domain.hidden (2001-07-27 07:34:01)
- M_Boosten (2001-07-27 07:12:39)
- Gerald Hilderink (2001-07-26 17:49:06)
- ianeast (2001-07-26 16:30:49)
- Lawrence Dickson (2001-07-26 17:27:25)
- Gerald Hilderink (2001-07-26 17:37:23)
- ianeast (2001-07-26 16:30:49)
- P.H.Welch_at_email.domain.hidden (2001-07-26 15:07:03)
- P.H.Welch_at_email.domain.hidden (2001-07-26 12:58:03)
- A E Lawrence (2001-07-26 14:17:43)
- M_Boosten (2001-07-26 11:43:18)
- P.H.Welch_at_email.domain.hidden (2001-07-26 13:02:24)
- Gerald Hilderink (2001-07-26 10:49:23)
- M_Boosten (2001-07-26 09:08:54)
- oyvind.teig_at_email.domain.hidden (2001-07-25 09:13:19)
- P.H.Welch_at_email.domain.hidden (2001-07-20 18:20:46)
- M_Boosten (2001-07-20 13:17:45)
- Lawrence Dickson (2001-07-20 18:04:30)
- P.H.Welch_at_email.domain.hidden (2001-07-20 12:18:20)
- M_Boosten (2001-07-20 10:36:20)
- M_Boosten (2001-07-20 13:17:45)
- A E Lawrence (2001-07-20 10:10:04)
- A E Lawrence (2001-07-20 10:21:26)
- Campbell, John (2001-07-19 23:25:49)
- A E Lawrence (2001-07-20 10:09:20)
- Campbell, John (2001-07-19 22:53:40)
- Beton, Richard (2001-07-20 09:53:42)
- Lawrence Dickson (2001-07-19 17:47:22)
- M_Boosten (2001-07-19 09:03:59)
- Beton, Richard (2001-07-19 16:27:29)
- Campbell, John (2001-07-19 15:47:41)
- P.H.Welch_at_email.domain.hidden (2001-07-18 18:44:46)
- P.H.Welch_at_email.domain.hidden (2001-07-18 18:35:34)
- M_Boosten (2001-07-18 15:03:19)
- Lawrence Dickson (2001-07-18 16:49:59)
- M_Boosten (2001-07-18 15:03:19)
- P.H.Welch_at_email.domain.hidden (2001-07-18 13:49:41)
- Campbell, John (2001-07-18 19:08:30)
- M_Boosten (2001-07-18 13:20:42)
- P.H.Welch_at_email.domain.hidden (2001-07-18 12:45:10)
- M_Boosten (2001-07-18 08:37:55)
Poison (authored by Dyke)
- M_Boosten (2001-07-27 10:17:38)
Poison --> Compliant processes
- A E Lawrence (2001-08-04 16:42:00)
- Campbell, John (2001-08-03 17:53:29)
- Adrian Lawrence (2001-08-03 18:19:06)
- A E Lawrence (2001-08-03 13:14:56)
Poison --> deeper meaning of priority in CSPP
- Campbell, John (2001-08-01 23:47:21)
Polling sockets - home-made ALT
- Beton, Richard (2003-03-07 17:12:39)
Pools in Apache [Was: Aliasing and Garbage Collection]
- Richard Beton (2000-10-17 16:58:46)
Position available
- G.S.Stiles (2001-11-19 05:03:37)
Pre-emptive multithreading covered by patents?
- B.M. Cook (1998-12-14 17:06:02)
- Rick Beton (1998-12-07 09:27:11)
PRI PAR and PAR PRI in hardware
- A E Lawrence (2000-11-02 20:43:31)
Printing occam
- Philippe Lemaire (2004-06-02 08:53:25)
- C.L.Jacobsen (2004-06-02 14:58:00)
- Mario Schweigler (2004-06-02 15:06:24)
Printing occam)
- Philippe Lemaire (2004-06-03 10:48:37)
Priorities in SPoC
- A E Lawrence (1999-03-03 22:36:31)
- A E Lawrence (1999-03-03 20:15:08)
- Denis A Nicole (1999-03-02 09:29:54)
Priorities of the ALT and PRIALT are under the presence of the PRIPAR
- Gerald Hilderink (2000-01-27 20:36:29)
Priority in SPoC
- Adrian Lawrence (1999-03-02 20:07:28)
Priority modeling with CSP?
- P.H.Welch (2002-01-28 12:46:10)
- G.S.Stiles (2002-01-25 05:54:41)
- Jim Davies (2002-01-24 16:51:42)
- Gerald Hilderink (2002-01-24 16:01:10)
- A E Lawrence (2002-01-24 15:41:29)
- A E Lawrence (2002-01-24 15:28:05)
- A E Lawrence (2002-01-24 19:04:15)
- p0072370 (2002-01-24 14:02:12)
- A E Lawrence (2002-01-24 10:37:51)
- Jim Davies (2002-01-24 09:28:05)
- A E Lawrence (2002-01-24 07:58:31)
- G.S.Stiles (2002-01-24 06:11:57)
Priority revisited: a new primitive
- A E Lawrence (2000-10-11 12:39:52)
- Denis A Nicole (2000-10-24 18:07:25)
- p0072370 (2000-10-24 13:44:07)
- B.M. Cook (2000-10-24 12:25:45)
- A E Lawrence (2000-10-24 11:38:57)
- A E Lawrence (2000-10-23 22:29:55)
- A E Lawrence (2000-10-23 11:34:38)
- M_Boosten (2000-10-23 12:45:11)
- Gerald H. Hilderink (2000-10-23 00:35:06)
- A E Lawrence (2000-10-23 12:00:17)
- A E Lawrence (2000-10-20 20:33:30)
- A E Lawrence (2000-10-15 21:12:09)
- A E Lawrence (2000-10-12 15:24:21)
- B.M. Cook (2000-10-12 10:22:10)
- A E Lawrence (2000-10-11 12:49:47)
- p0072370 (2000-10-11 10:27:52)
- Gerald H. Hilderink (2000-10-11 10:05:07)
- A E Lawrence (2000-10-11 04:24:38)
- A E Lawrence (2000-10-11 03:56:00)
- A E Lawrence (2000-10-11 04:16:12)
- Lawrence Dickson (2000-10-10 17:08:29)
- B.M. Cook (2000-10-10 16:31:33)
- A E Lawrence (2000-10-10 12:25:55)
- Gerald Hilderink (2000-10-10 11:18:21)
- p0072370 (2000-10-10 12:19:27)
- p0072370 (2000-10-10 10:47:57)
- B.M. Cook (2000-10-10 10:10:48)
- B.M. Cook (2000-10-09 10:28:02)
- Gerald H. Hilderink (2000-10-09 00:42:38)
- A E Lawrence (2000-10-07 22:55:47)
- A E Lawrence (2000-10-07 21:22:26)
Process Inheritance and Reuse. Event inheritance too?
- Gordon Hutchison (2002-02-12 08:23:52)
Protocol design, Handel-C and Hierarchical State Machines
- Oyvind Teig (2000-10-10 08:42:14)
Provably correct OS?
- Dyke Stiles (2000-10-26 22:31:16)
- Lawrence Dickson (2000-10-26 23:20:30)
Quixotic thought #57: Software salvation via JCSP
- Lawrence Dickson (2000-10-21 00:00:27)
- A E Lawrence (2000-10-21 10:49:12)
- Campbell, John (2000-10-20 23:11:32)
RA and PhD student wanted
- Jon Kerridge (1999-03-09 09:13:52)
Radical stuff.
- Dyke Stiles (2003-03-11 09:17:25)
Re design & checking tools
- Bryan Scattergood (1999-04-27 11:43:00)
- Bryan Scattergood (1999-04-22 13:15:31)
- p0072370 (1999-04-22 11:19:53)
Re Tools and commercial technology
- David Moore (2001-08-08 16:54:54)
Re. Budgets, etc.
- P.H.Welch (2000-10-24 17:41:35)
Re. Lamport / Composition
- Adrian Lawrence (1998-05-25 22:57:41)
- Richard Beton (1998-05-22 10:03:19)
- Paul Walker (1998-05-22 08:28:03)
- Adrian Lawrence (1998-05-21 18:47:55)
- Adrian Lawrence (1998-05-21 17:26:09)
- Adrian Lawrence (1998-05-21 11:51:07)
- phw (1998-05-20 19:44:53)
Re. March IEEE Computer Diatribe on Java
- Paul Walker (1997-04-17 19:17:56)
- Mark Ian Barlow (1997-04-12 01:56:37)
- Ruth Ivimey-Cook (1997-04-11 22:06:09)
- phw (1997-04-11 13:06:34)
RE; routing device
- O'Neill, Brian (1997-08-29 10:18:06)
Real-time Java?
- oyvind.teig_at_email.domain.hidden (2001-02-06 07:42:51)
- oyvind.teig_at_email.domain.hidden (2001-02-05 08:16:21)
- P.H.Welch (2001-02-02 17:37:51)
Reminder WSCG deadline 15.10. Interactive Digital Media, Plzen(P
- SKALA_at_email.domain.hidden (1998-10-08 20:20:19)
Response to VESA Home Networks "RFI"
- Paul Walker (1997-03-27 17:51:19)
Revised IEEE-letter
- Alexander Anderson (1997-04-28 14:41:17)
- Xyvind Teig (1997-04-28 08:52:14)
Revised IEEE-letter (embedded systems,2)
- Xyvind Teig (1997-04-28 11:13:53)
rewriting CSP processes
- B.M. Cook (2000-10-09 09:47:15)
- A E Lawrence (2000-10-08 11:55:07)
- A E Lawrence (2000-10-08 11:36:57)
- A E Lawrence (2000-10-08 00:30:42)
- B.M. Cook (2000-10-02 12:22:21)
- O'Neill, Brian (2000-10-02 17:15:54)
- B.M. Cook (2000-09-29 09:26:23)
- Lawrence Dickson (2000-09-28 16:27:53)
- B.M. Cook (2000-09-28 10:15:14)
- B.M. Cook (2000-09-28 12:20:14)
- Campbell, John (2000-09-27 17:41:46)
- Campbell, John (2000-09-27 13:52:07)
- Michael Goldsmith (2000-09-27 16:07:50)
- Campbell, John (2000-09-27 16:42:06)
- B.M. Cook (2000-09-27 15:00:08)
Ripple: A Folding Editor
- Richard Beton (2000-12-19 11:00:49)
- Tom Locke (2000-12-19 10:19:30)
Safer multitasking with CSP
- Oyvind Teig (2000-06-20 15:25:20)
- B.M. Cook (2000-06-15 16:39:14)
- Oyvind Teig (2000-06-14 13:01:13)
SDL and occam
- Richard Beton (1998-01-29 18:59:37)
Seen 'through a glass darkly'
- oyvind.teig_at_email.domain.hidden (2001-10-11 08:06:34)
SHARCs
- O'Neill, Brian (2000-12-22 13:53:54)
- Alastair Allen (2000-12-22 09:52:54)
SIMPL
- Adrian Lawrence (1999-04-16 22:22:20)
- eng267_at_email.domain.hidden (1999-04-16 10:03:14)
- Adrian Lawrence (1999-04-15 23:50:27)
Skeletons
- p0072370 (2001-09-27 16:39:38)
Software fault forces Ford recall
- Campbell, John (2000-12-19 00:02:54)
- Stephen Maudsley (2000-12-19 10:23:42)
- Campbell, John (2000-12-18 23:51:24)
- IanPage99_at_email.domain.hidden (2000-12-18 12:24:12)
- Lawrence Dickson (2000-12-18 17:47:43)
- IanPage99_at_email.domain.hidden (2000-12-18 12:24:12)
- P.H.Welch (2000-12-18 11:45:13)
- Chris Jones (2000-12-18 09:33:54)
- Lawrence Dickson (2000-12-18 04:15:01)
- A E Lawrence (2000-12-17 11:43:44)
- Richard Beton (2000-12-18 10:07:33)
- Mark Booth (2000-12-16 13:36:57)
- Tony_at_email.domain.hidden (2000-12-15 20:37:15)
- Denis A Nicole (2000-12-15 17:58:35)
- Richard Beton (2000-12-14 09:37:59)
Something for the weekend ...
- P.H.Welch (1999-08-06 17:12:08)
- P.H.Welch_at_email.domain.hidden (1999-03-19 18:22:56)
Sorry but...
- Paddy Nixon (1997-02-27 09:58:00)
Southampton Portable Occam Compiler
- CVEMaas_at_email.domain.hidden (2000-01-18 18:22:54)
SpaceWire meeting
- Paul Walker (2000-01-18 14:42:13)
Special issue of IEEE Transactions on Software Engineering
- Richard Beton (1998-06-05 12:04:23)
SPOC for PIC
- Denis A Nicole (2000-10-02 10:49:12)
ST-20
- Gerald H. Hilderink (2001-01-31 15:12:41)
Steve Scheider's book on TCSP
- Adrian Lawrence (1998-12-07 15:15:57)
StrongArm transputer look-alike
- O'Neill, Brian (1997-10-28 13:57:25)
Structure?
- p0072370 (2001-11-05 12:23:36)
Structured Programming by Dahl et al.
- G. S. Stiles (2001-09-05 04:37:48)
Student rates
- Andre Bakkers (1997-02-24 09:53:20)
Sun JSR 166 - Concurrency Utilities
- P.H.Welch (2003-10-13 19:25:38)
SV: Ripple: A Folding Editor
- oyvind.teig_at_email.domain.hidden (2000-12-22 08:55:16)
- Tom Locke (2000-12-20 09:02:58)
- Sture.Carlson_at_email.domain.hidden (2000-12-20 08:54:46)
Synchronous C++
- Richard Beton (1998-09-30 18:22:43)
- dyke (1998-09-30 17:52:27)
- dyke (1998-09-29 23:25:05)
Synchronous Communication = Swap
- M_Boosten (2000-09-27 09:27:58)
- M_Boosten (2000-09-27 08:17:46)
- A E Lawrence (2000-09-27 11:20:42)
- Lawrence Dickson (2000-09-26 17:12:40)
- M_Boosten (2000-09-26 13:52:35)
- A E Lawrence (2000-09-26 13:13:51)
- A E Lawrence (2000-09-26 15:40:16)
- Richard Beton (2000-09-26 10:36:19)
- M_Boosten (2000-09-26 08:01:11)
- A E Lawrence (2000-09-26 14:24:40)
- Richard Beton (2000-09-26 14:35:39)
- M_Boosten (2000-09-26 15:23:39)
T225 availabality ?
- Philippe LEMAIRE (1998-02-23 09:32:24)
TCPP and IPDPS
- Nan C Schaller (2000-09-25 15:38:33)
Teaching Formal Methods Workshop
- Ian East (2003-10-10 11:13:26)
Temporal logic and compositional reasoning.
- Adrian Lawrence (1998-05-27 23:09:56)
Thanks ...
- johan.sunter_at_email.domain.hidden (2001-09-24 08:43:05)
- P.H.Welch (2001-09-22 18:06:08)
Thanks!
- marcel.boosten_at_email.domain.hidden (2003-03-19 07:35:45)
The future of CSP?
- Andrzej Lewandowski (2001-08-23 14:41:17)
- Gerald Hilderink (2001-08-24 10:41:24)
- Gerald Hilderink (2001-08-23 12:59:43)
- Gerald Hilderink (2001-08-24 11:38:20)
- marcel.boosten_at_email.domain.hidden (2001-08-24 07:43:29)
- Gerald Hilderink (2001-08-23 15:02:11)
- marcel.boosten_at_email.domain.hidden (2001-08-23 11:42:20)
- Andrzej Lewandowski (2001-08-23 13:36:32)
- Gordon Hutchison (2001-08-23 11:13:50)
- Gerald Hilderink (2001-08-23 09:26:58)
- Gerald Hilderink (2001-08-23 08:17:16)
- marcel.boosten_at_email.domain.hidden (2001-08-23 11:36:51)
- oyvind.teig_at_email.domain.hidden (2001-08-23 10:17:42)
- marcel.boosten_at_email.domain.hidden (2001-08-23 11:25:01)
- oyvind.teig_at_email.domain.hidden (2001-08-23 08:46:18)
- marcel.boosten_at_email.domain.hidden (2001-08-23 08:41:48)
- marcel.boosten_at_email.domain.hidden (2001-08-23 07:34:49)
- A E Lawrence (2001-08-22 21:39:19)
- A E Lawrence (2001-08-22 22:16:50)
- Lawrence Dickson (2001-08-22 18:13:48)
- A E Lawrence (2001-08-22 17:10:48)
The future of CSP? (OO & CSP)
- Hilderink, G.H. (2001-09-21 14:23:53)
- Gerald Hilderink (2001-09-20 20:54:35)
- marcel.boosten_at_email.domain.hidden (2001-09-04 13:06:57)
- Gordon Hutchison (2001-09-04 10:36:09)
- G. S. Stiles (2001-09-03 21:40:08)
- Jim Davies (2001-09-03 16:19:06)
- marcel.boosten_at_email.domain.hidden (2001-08-27 08:44:55)
- marcel.boosten_at_email.domain.hidden (2001-08-27 08:27:47)
- marcel.boosten_at_email.domain.hidden (2001-08-24 13:09:55)
- Lawrence Dickson (2001-08-24 19:32:35)
- Andrzej Lewandowski (2001-08-24 14:46:27)
- Gordon Hutchison (2001-08-24 14:15:17)
- marcel.boosten_at_email.domain.hidden (2001-08-24 13:09:55)
The future of CSP? Fault tolerant implementations?
- marcel.boosten_at_email.domain.hidden (2001-09-06 09:46:23)
- G. S. Stiles (2001-09-05 05:06:54)
The future of embedded systems...
- Alastair Allen (2000-09-19 10:34:54)
The future of SPoC
- A E Lawrence (2004-07-13 19:03:22)
- Denis A Nicole (2004-07-13 13:16:59)
The Laws of "object" programming
- Alexander Anderson (1997-07-04 21:21:37)
- Paddy Nixon (1997-07-04 20:12:58)
The razor
- A E Lawrence (2000-10-13 15:54:41)
the semantics of deckchairs
- Jim Davies (2003-03-18 23:28:24)
- A E Lawrence (2003-03-18 20:42:55)
- Jim Davies (2003-03-17 23:00:07)
- A E Lawrence (2003-03-17 20:11:53)
- A E Lawrence (2003-03-17 19:31:04)
- Campbell, John (2003-03-17 19:13:25)
- A E Lawrence (2003-03-17 19:03:54)
- A E Lawrence (2003-03-17 18:30:05)
- Michael Goldsmith (2003-03-17 18:17:10)
- A E Lawrence (2003-03-17 15:55:29)
- Jim Davies (2003-03-17 11:41:33)
Timed CSP
- Oyvind Teig (2000-08-17 11:29:09)
To boldly go ...
- P.H.Welch_at_email.domain.hidden (2001-08-13 18:55:15)
Tools and commercial technology
- oyvind.teig_at_email.domain.hidden (2001-08-10 09:20:05)
Toy languages
- Adrian Lawrence (1998-05-22 19:12:05)
TPAR
- M_Boosten (2001-07-20 10:53:56)
Transactions
- Tom Locke (2000-10-17 11:18:51)
Transputer resuscitated?
- Ian East (1998-02-12 18:22:21)
Transputers going free...
- Denis A Nicole (2000-11-24 13:04:25)
transputers in TV set-top boxes
- Gerald H. Hilderink (2001-01-30 13:54:08)
- Lawrence Dickson (2001-01-30 18:17:21)
- Stephen Maudsley (2001-01-30 17:16:31)
- Roger Peel (2001-01-30 15:39:16)
- P.H.Welch (2001-01-30 14:47:36)
- Gerald H. Hilderink (2001-01-30 13:54:08)
- Roger Peel (2001-01-30 13:41:36)
- O'Neill, Brian (2001-01-30 16:25:51)
- oyvind.teig_at_email.domain.hidden (2001-01-30 14:03:06)
- Gerald H. Hilderink (2001-01-30 12:19:08)
UML and concurrency: how to get started?
- A E Lawrence (2001-09-09 12:34:57)
- marcel.boosten_at_email.domain.hidden (2001-09-06 09:56:53)
- Jeremy Martin (2001-09-04 13:26:11)
UML Point/Counterpoint: Mellor vs. Selic
- Oyvind Teig (2000-03-13 07:29:29)
Unclocked logic / delay insensitive circuits
- A E Lawrence (2000-10-07 23:34:11)
- Campbell, John (2000-09-28 17:09:20)
- B.M. Cook (2000-09-28 12:10:59)
- B.M. Cook (2000-09-28 10:21:21)
- M_Boosten (2000-09-28 09:53:15)
- B.M. Cook (2000-09-28 09:20:13)
- M_Boosten (2000-09-28 11:29:06)
- M_Boosten (2000-09-28 07:46:06)
Underpinnings page...
- G. S. Stiles (1998-10-06 05:24:06)
unsuscribe
- Casiano RodrXguez LeXn (1999-07-15 13:06:11)
Upcoming CPA2003
- Broenink, J.F. (2003-08-20 23:03:23)
VESA Home Networks "RFI"
- Paul Walker (1997-03-14 14:54:53)
Wait-free Synchronization, RTLinux and CSP
- Lawrence Dickson (2002-03-06 20:04:11)
- A E Lawrence (2002-03-06 11:27:34)
- Lawrence Dickson (2002-03-05 18:29:05)
- A E Lawrence (2002-03-05 09:24:50)
Wanted - Hoare's Essays in Computing Science
- ianeast (2002-03-08 18:00:03)
Web archive
- P.H.Welch (1999-08-23 14:07:11)
Website archive of this list.
- Ruth Ivimey-Cook (2004-10-31 20:06:25)
Website blues... fixed
- marcel.boosten_at_email.domain.hidden (2003-04-18 06:03:26)
- Ruth Ivimey-Cook (2003-04-18 01:00:11)
Website overheating
- Ruth Ivimey-Cook (2002-07-17 16:56:41)
Welcome to occam-com
- list-manager_at_email.domain.hidden (2001-08-24 18:27:12)
- list-manager_at_email.domain.hidden (1999-10-20 16:13:06)
Why Events Are A Bad Idea (for High-concurrency Servers)
- P.H.Welch (2003-06-11 13:10:32)
- P.H.Welch (2003-06-10 16:37:36)
- Beton, Richard (2003-06-10 15:53:25)
WoTUG
- Lawrence Dickson (1999-11-07 01:56:26)
- Roger Peel (1999-11-01 18:47:38)
- Lawrence Dickson (1999-10-30 05:05:55)
- Lawrence Dickson (1999-10-26 13:29:57)
- Hilderink, G.H. (1999-10-26 09:50:45)
- Oyvind Teig (1999-10-26 07:16:32)
- Oyvind Teig (1999-10-25 11:52:05)
WoTUG 21 - FINAL CALL FOR PAPERS (deadline 16th Jan)
- Dave Beckett (1998-01-05 12:00:13)
WoTUG 21: Architectures, Languages and Patterns for Parallel and Distributed Applications - Call for Papers
- Dave Beckett (1997-11-19 13:44:03)
WoTUG Authors: Web publishing of WoTUG papers
- Ruth Ivimey-Cook (1999-10-08 23:44:31)
WoTUG name and conferences
- B.M. Cook (2000-03-03 12:06:33)
- P.H.Welch (2000-03-03 11:50:12)
WoTUG renaming
- J.Moores (1999-10-26 14:29:20)
- Ian East (1999-10-26 12:26:36)
WoTUG WEB SITE AFFILIATIONS
- James Pascoe (2002-04-05 15:45:51)
WoTUG Web site news
- Mario Schweigler (2002-05-24 00:27:26)
- Fred Barnes (2002-05-24 00:22:27)
- Mario Schweigler (2002-05-23 14:00:12)
- Mario Schweigler (2002-05-23 13:58:29)
- Mario Schweigler (2002-05-23 13:40:21)
- Ruth Ivimey-Cook (2002-05-23 13:37:28)
WoTUG-21 Conference
- phw (1998-02-13 17:10:48)
WoTUG-21, IOS and proceedings in WWW?
- Paul Walker (1997-11-11 09:58:34)
- Richard Beton (1997-11-11 09:09:49)
- Ruth Ivimey-Cook (1997-11-10 15:17:24)
- Andre Bakkers (1997-11-10 15:03:16)
- Xyvind Teig (1997-11-10 07:29:22)
WoTUG-22 "occam to Java bytecode working group" ??
- B.M. Cook (1999-02-02 12:48:35)
- Oyvind Teig (1999-02-01 13:32:06)
WoTUG-22: Web pages under construction etc.
- Oyvind Teig (1998-12-07 12:37:18)
WoTUG22
- B.M. Cook (1999-02-05 16:48:01)
WoTUG22 - Call for Papers
- B.M. Cook (1998-10-30 15:31:31)
WoTUG22 - new dates
- B.M. Cook (1998-12-01 15:21:05)
WoTUG22 CFP
- B.M. Cook (1998-12-18 11:59:08)
WoTUG22 Student Discounts
- B.M. Cook (1999-03-29 16:03:17)
WoTUG22 web site update
- B.M. Cook (1999-03-12 16:32:46)
WSCG conf.,Plzen(Prague,Czech)
- SKALA (1998-06-06 20:12:35)
WSCG Conf.-Deadline 30.9.
- SKALA (1997-08-29 14:33:37)
x2AnyChannels do not allow alting
- P.H.Welch (2000-03-03 09:47:07)
- P.H.Welch (2000-03-03 12:19:00)
- P.H.Welch (2000-03-02 16:47:08)
- P.H.Welch (2000-02-17 19:19:04)
Yahoo
- Rick Beton (1999-03-31 14:14:28)
Yet another Java concurrency book?
- p0072370 (1999-04-22 10:46:29)
You must read this
- Jon Kerridge (1999-05-21 11:54:31)
- Oyvind Teig (1999-05-21 07:01:35)
- Richard Beton (1999-05-20 18:01:33)
- P.H.Welch (1999-05-20 17:29:08)
- B.M. Cook (1999-05-20 09:10:09)
- Christopher C R Jones (1999-05-19 13:40:21)
- B.M. Cook (1999-05-18 15:56:07)
You must read this (20 May 99)
- Tony Gore (1999-05-25 11:56:40)
- B.M. Cook (1999-05-25 08:37:11)
- P.H.Welch (1999-05-24 20:00:09)
- Christopher C R Jones (1999-05-24 16:51:30)
You must read this: Brinch Hansen Java book
- G. S. Stiles (1999-05-22 04:26:22)
You must read this: Feeling left out.
- P.H.Welch (1999-05-21 15:56:08)
- dyke (1999-05-20 22:07:25)

Last message date:	2004-10-31 20:06:25	Archived on:	2004-11-01 18:03:24 GMT

About this list	Date view	Thread view	Other mail archives

Occam Mailing ListBy Subject

Occam Mailing List
By Subject