Occam Mailing List
1999 By Date

• Re: Parallel Concurrency in Real-Time Ruth Ivimey-Cook (1999-10-23 11:00:54)
• Re: Parallel Concurrency in Real-Time Lawrence Dickson (1999-10-22 20:57:24)
• 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)
• Re: A CSP model for Java threads Lawrence Dickson (1999-08-13 19:11:52)
• Re: A CSP model for Java threads Bryan Scattergood (1999-08-10 15:36:19)
• Disable interrupts in critical sections? Oyvind Teig (1999-08-10 14:30:23)
• Re: A CSP model for Java threads Bryan Scattergood (1999-08-10 12:07:45)
• Finishing off the proof of JCSP Jeremy Martin (1999-08-08 20:38:31)
• RE: Disable interrupts in critical sections? Tony Gore (1999-08-10 17:18:29)
• Re: Disable interrupts in critical sections? B.M. Cook (1999-08-10 15:14:02)
• Re: A CSP model for Java threads Oyvind Teig (1999-08-10 12:36:19)
• Re: A CSP model for Java threads Jeremy Martin (1999-08-10 12:08:29)
• Re: A CSP model for Java threads Oyvind Teig (1999-08-10 07:56:14)
• Re: A CSP model for Java threads P.H.Welch (1999-08-06 23:24:12)
• Re: A CSP model for Java threads Jeremy Martin (1999-08-07 12:37:20)
• Re: Something for the weekend ... P.H.Welch (1999-08-06 17:12:08)
• Re: A CSP model for Java threads Jeremy Martin (1999-08-05 13:43:05)
• Re: A CSP model for Java threads P.H.Welch (1999-08-04 20:01:27)
• Re: A CSP model for Java threads Jeremy Martin (1999-08-05 11:54:51)
• A CSP model for Java threads - a subtle point Jeremy Martin (1999-08-03 16:05:58)
• Re: A CSP model for Java threads Jeremy Martin (1999-07-30 15:46:55)
• Eric Verhulst on again! Oyvind Teig (1999-07-28 12:00:59)
• unsuscribe Casiano RodrXguez LeXn (1999-07-15 13:06:11)
• RE: Channels versus Methods P.H.Welch (1999-07-09 18:38:40)
• RE: Channels versus Methods P.H.Welch (1999-07-09 18:47:47)
• RE: Channels versus Methods Gerald Hilderink (1999-07-09 10:31:41)
• RE: Channels versus Methods P.H.Welch (1999-07-08 19:08:28)
• RE: Channels versus Methods P.H.Welch (1999-07-08 18:51:14)
• RE: Channels versus Methods Umland, Thomas (1999-07-02 13:08:03)
• Mobile variables Adrian Lawrence (1999-07-01 14:51:47)
• Re: Channels versus Methods Richard Beton (1999-07-01 09:38:37)
• Re: Channels versus Methods Thomas Umland (1999-06-30 23:24:52)
• Re: Mobile variables Adrian Lawrence (1999-06-30 18:51:45)
• RE: Channels versus Methods Gerald Hilderink (1999-07-01 15:41:29)
• Re: Mobile variables Oyvind Teig (1999-07-01 08:40:13)
• CALL Channels in Java Hilderink, G.H. (1999-06-30 12:36:09)
• Re: Mobile variables Richard Beton (1999-06-30 09:16:52)
• Re: Mobile variables A E Lawrence (1999-06-29 14:51:59)
• Mobile variables Adrian Lawrence (1999-06-29 13:58:54)
• RE: Channels versus Methods P.H.Welch (1999-06-28 16:23:11)
• Re: Mobile variables B.M. Cook (1999-06-28 15:59:47)
• RE: Channels versus Methods Umland, Thomas (1999-06-28 09:00:20)
• AN APPEAL TO COMMON SENSE Per Brinch Hansen (1999-06-27 02:05:17)
• Re: Mobile variables A E Lawrence (1999-06-26 21:34:19)
• Re: Mobile variables A E Lawrence (1999-06-26 21:12:32)
• Channels versus Methods P.H.Welch (1999-06-25 12:59:07)
• Re: Mobile variables Lawrence Dickson (1999-06-24 17:23:24)
• Re: Mobile variables Richard Beton (1999-06-24 14:03:46)
• Re:FYI- JProbe Threadalyzer Oyvind Teig (1999-06-24 07:31:51)
• Re: Mobile variables Lawrence Dickson (1999-06-23 23:50:42)
• Re: Mobile variables Adrian Lawrence (1999-06-23 21:32:12)
• Re: Mobile variables A E Lawrence (1999-06-23 18:52:47)
• Re:FYI- JProbe Threadalyzer P.H.Welch (1999-06-23 15:21:32)
• Re: Mobile variables P.H.Welch (1999-06-23 12:12:53)
• Mobile Variables Adrian Lawrence (1999-06-23 10:58:44)
• Re: Mobile variables Paddy Nixon (1999-06-23 09:19:59)
• Re: Mobile variables Paddy Nixon (1999-06-23 08:48:44)
• Mobile variables Adrian Lawrence (1999-06-22 19:28:14)
• (no subject) valjr_at_email.domain.hidden (1999-06-17 00:18:33)
• Re: CSP and Petri nets? Jon Kerridge (1999-06-14 11:52:32)
• Re: CSP and Petri nets? Lawrence Dickson (1999-06-11 19:22:52)
• Re: CSP and Petri nets? P.H.Welch (1999-06-11 12:34:27)
• CSP and Petri nets? dyke (1999-06-11 00:08:57)
• Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA Denis A Nicole (1999-06-09 11:21:48)
• Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA Oyvind Teig (1999-06-09 06:54:42)
• Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA P.H.Welch (1999-06-08 18:49:09)
• Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA Adrian Lawrence (1999-06-07 20:39:08)
• 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-06 17:48:51)
• Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA Lawrence Dickson (1999-06-06 17:04:07)
• Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA Adrian Lawrence (1999-06-04 21:38:58)
• Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA Denis A Nicole (1999-06-04 15:31:28)
• Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA Christopher C R Jones (1999-05-28 10:45:14)
• Folding editor Oyvind Teig (1999-05-28 08:19:00)
• Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA P.H.Welch (1999-05-26 09:35:53)
• RE: You must read this (20 May 99) Tony Gore (1999-05-25 11:56:40)
• Re: You must read this (20 May 99) B.M. Cook (1999-05-25 08:37:11)
• Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA P.H.Welch (1999-05-24 20:14:31)
• 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: You must read this: Brinch Hansen Java book G. S. Stiles (1999-05-22 04:26:22)
• Re: You must read this: Feeling left out. P.H.Welch (1999-05-21 15:56:08)
• Re: You must read this Jon Kerridge (1999-05-21 11:54:31)
• OUG Newsletters Ian East (1999-05-21 10:20:32)
• Re: You must read this Oyvind Teig (1999-05-21 07:01:35)
• Re: You must read this: Feeling left out. dyke (1999-05-20 22:07:25)
• Re: You must read this Richard Beton (1999-05-20 18:01:33)
• Re: You must read this P.H.Welch (1999-05-20 17:29:08)
• Re: You must read this B.M. Cook (1999-05-20 09:10:09)
• Re: You must read this Christopher C R Jones (1999-05-19 13:40:21)
• You must read this B.M. Cook (1999-05-18 15:56:07)
• Re: CSP for OS? Lawrence Dickson (1999-05-10 22:00:41)
• Re: CSP for OS? Richard Beton (1999-05-10 18:28:13)
• 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)
• Re: Dynamic Priority A E Lawrence (1999-04-29 19:44:39)
• 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)
• Re: Dynamic Priority Richard Beton (1999-04-27 17:53:05)
• Re: Dynamic Priority james_wolffe_at_email.domain.hidden (1999-04-27 14:53:22)
• Re: Re design & checking tools Bryan Scattergood (1999-04-27 11:43:00)
• Dynamic Priority Adrian Lawrence (1999-04-27 07:53:58)
• RE: Dynamic Priority Oyvind Teig (1999-04-27 07:06:47)
• Re: Is PRI PAR useful for hardware? Lawrence Dickson (1999-04-27 00:45:38)
• RE: Dynamic Priority Gerald Hilderink (1999-04-26 23:15:38)
• Re: Is PRI PAR useful for hardware? B.M. Cook (1999-04-26 21:43:45)
• Dynamic Priority Adrian Lawrence (1999-04-26 20:25:36)
• Re: Dynamic composition constructs Adrian Lawrence (1999-04-26 16:15:15)
• Dynamic composition constructs Gerald Hilderink (1999-04-26 11:45:21)
• Dynamic Priority Gerald Hilderink (1999-04-26 10:56:24)
• Re:Dynamic Priority Oyvind Teig (1999-04-26 07:00:47)
• 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)
• Re: Is PRI PAR useful for hardware? A E Lawrence (1999-04-23 20:39:13)
• Re: Is PRI PAR useful for hardware? Roger Peel (1999-04-23 19:40:08)
• design & checking tools Andre Bakkers (1999-04-22 14:33:32)
• Re: Re design & checking tools Bryan Scattergood (1999-04-22 13:15:31)
• Re design & checking tools p0072370 (1999-04-22 11:19:53)
• Yet another Java concurrency book? p0072370 (1999-04-22 10:46:29)
• Re: New Book: CONCURRENCY Jeremy Martin (1999-04-22 10:00:08)
• Re: New Book: CONCURRENCY Oyvind Teig (1999-04-22 07:45:55)
• Re: New Book: CONCURRENCY Denis A Nicole (1999-04-21 15:56:52)
• Re: New Book: CONCURRENCY Bryan Scattergood (1999-04-21 12:44:06)
• Re: New Book: CONCURRENCY Oyvind Teig (1999-04-21 11:26:34)
• Re: New Book: CONCURRENCY Denis A Nicole (1999-04-21 10:45:09)
• Re: New Book: CONCURRENCY Oyvind Teig (1999-04-21 07:40:02)
• Dynamic Priority Adrian Lawrence (1999-04-21 06:01:18)
• Is PRI PAR useful for hardware? Adrian Lawrence (1999-04-21 05:59:31)
• Re: New Book: CONCURRENCY Lawrence Dickson (1999-04-20 19:51:34)
• Re: New Book: CONCURRENCY p0072370 (1999-04-20 13:35:53)
• Re: New Book: CONCURRENCY Rick Beton (1999-04-20 09:56:51)
• Re: New Book: CONCURRENCY Oyvind Teig (1999-04-20 06:59:38)
• Re: New Book: CONCURRENCY Prof Judith Bishop (1999-04-19 15:45:16)
• Re: New Book: CONCURRENCY Ian East (1999-04-19 15:07:43)
• Re: New Book: CONCURRENCY P.H.Welch (1999-04-19 13:04:44)
• 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)
• Re: SIMPL Adrian Lawrence (1999-04-16 22:22:20)
• Re: Multithreading statements Rick Beton (1999-04-16 17:35:20)
• Multithreading statements J.Sunter (1999-04-16 14:51:06)
• Re: SIMPL eng267_at_email.domain.hidden (1999-04-16 10:03:14)
• SIMPL Adrian Lawrence (1999-04-15 23:50:27)
• Re: CSPP - dressed semantics. Adrian Lawrence (1999-04-08 21:01:42)
• 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)
• Re: A CSP model for Java threads P.H.Welch_at_email.domain.hidden (1999-03-30 12:14:38)
• Re: A CSP model for Java threads P.H.Welch_at_email.domain.hidden (1999-03-29 17:39:23)
• Re: A CSP model for Java threads P.H.Welch_at_email.domain.hidden (1999-03-29 17:17:33)
• Re: A CSP model for Java threads Jeremy Martin (1999-03-29 17:02:09)
• Re: A CSP model for Java threads P.H.Welch_at_email.domain.hidden (1999-03-29 16:50:20)
• WoTUG22 Student Discounts B.M. Cook (1999-03-29 16:03:17)
• Re: A CSP model for Java threads Jeremy Martin (1999-03-29 15:17:49)
• Re: A CSP model for Java threads Rick Beton (1999-03-26 17:47:34)
• A CSP model for Java threads P.H.Welch_at_email.domain.hidden (1999-03-26 17:33:18)
• RE: It was a stressing weekend! Gerald Hilderink (1999-03-25 09:40:42)
• It was a stressing weekend! Gerald Hilderink (1999-03-24 22:51:32)
• Re: Conflicting Priorities in occam Adrian Lawrence (1999-03-20 18:19:58)
• Something for the weekend ... P.H.Welch_at_email.domain.hidden (1999-03-19 18:22:56)
• Re: Conflicting Priorities in occam Denis A Nicole (1999-03-17 18:52:42)
• Re: Conflicting Priorities in occam Denis A Nicole (1999-03-17 17:45:17)
• 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)
• Re: Conflicting Priorities in occam Adrian Lawrence (1999-03-10 18:54:41)
• Re: Conflicting Priorities in occam Adrian Lawrence (1999-03-10 18:49:58)
• 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)
• Re: Conflicting Priorities in occam Oyvind Teig (1999-03-04 07:17:56)
• Re: Priorities in SPoC A E Lawrence (1999-03-03 22:36:31)
• Re: Priorities in SPoC A E Lawrence (1999-03-03 20:15:08)
• Conflicting Priorities in occam Adrian Lawrence (1999-03-03 12:57:04)
• Re: Conflicting Priorities in occam james_wolffe_at_email.domain.hidden (1999-03-03 11:50:37)
• Conflicting Priorities in occam Adrian Lawrence (1999-03-03 07:47:45)
• Re: Conflicting Priorities in occam Adrian Lawrence (1999-03-02 23:27:18)
• Re: Conflicting Priorities in occam P.H.Welch_at_email.domain.hidden (1999-03-02 21:21:55)
• Re: Conflicting Priorities in occam P.H.Welch_at_email.domain.hidden (1999-03-02 21:20:57)
• Re: Conflicting Priorities in occam P.H.Welch_at_email.domain.hidden (1999-03-02 21:20:22)
• Re: Conflicting Priorities in occam P.H.Welch_at_email.domain.hidden (1999-03-02 21:18:19)
• Priority in SPoC Adrian Lawrence (1999-03-02 20:07:28)
• Re: Conflicting Priorities in occam A E Lawrence (1999-03-02 19:32:43)
• Conflicting Priorities in occam A E Lawrence (1999-03-02 19:21:04)
• Re: Conflicting Priorities in occam Lawrence Dickson (1999-03-02 14:57:57)
• 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)
• Re: Conflicting Priorities in occam Oyvind Teig (1999-03-02 07:33:10)
• 28K of postscript: Conflicting Priorities in occam Adrian Lawrence (1999-03-02 00:21:57)
• Re: Conflicting Priorities in occam Adrian Lawrence (1999-03-01 23:36:19)
• Re: Conflicting Priorities in occam Adrian Lawrence (1999-03-01 22:32:51)
• Re: Conflicting Priorities in occam Lawrence Dickson (1999-03-01 22:09:46)
• Re: Conflicting Priorities in occam Rick Beton (1999-03-01 17:40:11)
• Re: Conflicting Priorities in occam B.M. Cook (1999-03-01 17:12:05)
• Re: Conflicting Priorities in occam Adrian Lawrence (1999-03-01 16:46:16)
• Re: Conflicting Priorities in occam B.M. Cook (1999-03-01 16:38:30)
• Re[2]: Conflicting Priorities in occam james_wolffe_at_email.domain.hidden (1999-03-01 16:29:48)
• Re: Conflicting Priorities in occam B.M. Cook (1999-03-01 15:50:43)
• Re: Conflicting Priorities in occam Adrian Lawrence (1999-03-01 15:35:32)
• Re: Conflicting Priorities in occam Adrian Lawrence (1999-03-01 15:25:42)
• Re: Conflicting Priorities in occam B.M. Cook (1999-03-01 15:21:52)
• Re: Conflicting Priorities in occam Adrian Lawrence (1999-03-01 15:21:17)
• Re: Conflicting Priorities in occam Adrian Lawrence (1999-03-01 14:58:16)
• Re[2]: Conflicting Priorities in occam james_wolffe_at_email.domain.hidden (1999-03-01 13:06:41)
• Re: Conflicting Priorities in occam B.M. Cook (1999-03-01 12:45:43)
• Re: Conflicting Priorities in occam A E Lawrence (1999-03-01 07:54:06)
• Re: Conflicting Priorities in occam Adrian Lawrence (1999-02-28 22:05:43)
• Re: Conflicting Priorities in occam P.H.Welch_at_email.domain.hidden (1999-02-28 19:15:28)
• 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)
• Re: WoTUG-22 "occam to Java bytecode working group" ?? B.M. Cook (1999-02-02 12:48:35)
• WoTUG-22 "occam to Java bytecode working group" ?? Oyvind Teig (1999-02-01 13:32:06)
• Welcome to occam-com list-manager_at_email.domain.hidden (1999-10-20 16:13:06)
• Re: WoTUG Lawrence Dickson (1999-11-07 01:56:26)
• Meiko glitches... eng267_at_email.domain.hidden (1999-12-23 11:15:07)
• Re: Meiko glitches... Denis A Nicole (1999-12-23 16:00:09)
• Re: Abbreviation of arrays, scope. Michael Poole (1999-12-22 18:10:34)
• 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 Roger Peel (1999-11-01 18:47:38)
• Re: WoTUG Lawrence Dickson (1999-10-30 05:05:55)
• RE: WoTUG renaming J.Moores (1999-10-26 14:29:20)
• RE: WoTUG Lawrence Dickson (1999-10-26 13:29:57)
• RE: WoTUG renaming Ian East (1999-10-26 12:26:36)
• RE: WoTUG Hilderink, G.H. (1999-10-26 09:50:45)
• RE: WoTUG Oyvind Teig (1999-10-26 07:16:32)
• RE: Parallel Concurrency in Real-Time Campbell, John (1999-10-25 18:38:09)
• RE: Parallel Concurrency in Real-Time O'Neill, Brian (1999-10-25 09:36:30)
• RE: Parallel Concurrency in Real-Time Campbell, John (1999-10-25 18:08:47)
• Re: WoTUG Oyvind Teig (1999-10-25 11:52:05)
• RE: Parallel Concurrency in Real-Time Tony Gore (1999-10-22 09:27:23)
• Parallel Concurrency in Real-Time Oyvind Teig (1999-10-22 07:43:55)
• Re: JCSP 0.94 release Richard Beton (1999-10-22 09:00:19)
• 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)