Occam Mailing List
2000 By Subject

About this list	Date view	Thread view	Other mail archives

343 Messages
Starting:	2000-01-03 10:07:30	Ending:	2000-12-22 13:53:54

"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)
(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)
[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 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)
Abbreviation of arrays, scope.
- Oyvind Teig (2000-01-03 10:07:30)
ABCD at DSSE, Southampton
- Richard Beton (2000-10-17 13:38:06)
Action language semantics
- Oyvind Teig (2000-09-22 14:07:37)
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)
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)
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)
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)
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)
ComsTime
- Gerald H. Hilderink (2000-11-17 11:52:19)
- Gerald H. Hilderink (2000-11-13 20:47:56)
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 LL-CSP
- A E Lawrence (2000-09-26 14:09:05)
- M_Boosten (2000-09-26 13:44:42)
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)
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)
Final Call for Papers : CPA-2000
- P.H.Welch (2000-06-07 10:01:08)
Final Call For Participation: Las Vegas, June 26-29, PDPTA + etc.
- P.H.Welch (2000-06-07 09:58:38)
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)
Hi (joining list)
- A E Lawrence (2000-10-13 16:08:45)
- Test (2000-10-13 12:14:23)
imitation hi-pri occam tool?
- Lawrence Dickson (2000-12-11 19:23:31)
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)
Job openings...
- Dyke Stiles (2000-02-18 16:50:12)
Kroc for Win98/WinNT?
- Roger Peel (2000-04-13 12:16:01)
KRoC version 1.2.3 for Linux released
- Frederick Barnes (2000-06-14 16:50:49)
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)
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)
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)
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 CTJ 0.9 rev. 17
- Gerald H. Hilderink (2000-09-18 21:43:07)
New JCSP release
- 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 TextPad syntax definitions file for occam
- Richard Beton (2000-10-16 18:40:24)
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)
Observer Pattern
- Tom Locke (2000-10-17 11:36:31)
occam 2.1 / 2.5 definition
- Richard Beton (2000-01-27 10:39:01)
- B.M. Cook (2000-01-27 10:29:18)
Occam vs Transputers
- Sture Carlson (2000-09-22 13:39:18)
occam: out ! 0 :: "" semantics
- P.H.Welch (2000-05-25 10:27:59)
- Oyvind Teig (2000-05-25 10:21:03)
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)
PCMIA Transputer cards??
- P.H.Welch (2000-10-17 16:15:02)
PhD Studentship
- Alastair Allen (2000-10-05 18:42:08)
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)
Pools in Apache [Was: Aliasing and Garbage Collection]
- Richard Beton (2000-10-17 16:58:46)
PRI PAR and PAR PRI in hardware
- A E Lawrence (2000-11-02 20:43:31)
Priorities of the ALT and PRIALT are under the presence of the PRIPAR
- Gerald Hilderink (2000-01-27 20:36:29)
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)
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)
Re. Budgets, etc.
- P.H.Welch (2000-10-24 17:41:35)
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)
SHARCs
- O'Neill, Brian (2000-12-22 13:53:54)
- Alastair Allen (2000-12-22 09:52:54)
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)
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)
SPOC for PIC
- Denis A Nicole (2000-10-02 10:49:12)
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 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)
TCPP and IPDPS
- Nan C Schaller (2000-09-25 15:38:33)
The future of embedded systems...
- Alastair Allen (2000-09-19 10:34:54)
The razor
- A E Lawrence (2000-10-13 15:54:41)
Timed CSP
- Oyvind Teig (2000-08-17 11:29:09)
Transactions
- Tom Locke (2000-10-17 11:18:51)
Transputers going free...
- Denis A Nicole (2000-11-24 13:04:25)
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)
WoTUG name and conferences
- B.M. Cook (2000-03-03 12:06:33)
- P.H.Welch (2000-03-03 11:50:12)
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)

Last message date:	2000-12-22 13:53:54	Archived on:	2004-11-01 18:03:24 GMT

About this list	Date view	Thread view	Other mail archives

Occam Mailing List2000 By Subject

Occam Mailing List
2000 By Subject