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