occam-com mailing list archive (by date)
- Re: XCore matters
From Øyvind Teig at Fri, 11 Dec 2020 19:28:26 +0000
- Re: XCore matters
From Larry Dickson at Fri, 11 Dec 2020 16:27:41 +0000
- Re: XCore matters
From Øyvind Teig at Fri, 11 Dec 2020 09:40:46 +0000
- Re: XCore matters
From Larry Dickson at Thu, 10 Dec 2020 22:45:39 +0000
- Re: XCore matters
From Øyvind Teig at Thu, 10 Dec 2020 20:31:55 +0000
- Re: XCore matters
From Øyvind Teig at Thu, 10 Dec 2020 20:10:36 +0000
- Re: XCore matters
From Øyvind Teig at Thu, 10 Dec 2020 19:52:56 +0000
- Re: XCore matters
From Roger Shepherd at Thu, 10 Dec 2020 18:57:18 +0000
- Re: XCore matters
From Larry Dickson at Thu, 10 Dec 2020 17:20:12 +0000
- Re: XCore matters
From Øyvind Teig at Thu, 10 Dec 2020 13:20:23 +0000
- XCore matters
From Øyvind Teig at Wed, 09 Dec 2020 17:53:46 +0000
- FYI: signoff list occam-com from ncs@xxxxxxxxxx
From SYMPA at Wed, 09 Dec 2020 13:03:05 +0000
- Re: Transistor count
From Roger Shepherd at Wed, 09 Dec 2020 12:13:52 +0000
- Re: Transistor count
From Roger Shepherd at Wed, 09 Dec 2020 12:01:40 +0000
- RE: Transistor count
From Jones, Chris C (UK Warton) at Wed, 09 Dec 2020 11:05:41 +0000
- RE: Transistor count
From Tony Gore at Wed, 09 Dec 2020 10:34:17 +0000
- Re: Transistor count
From Larry Dickson at Wed, 09 Dec 2020 02:54:38 +0000
- RE: Transistor count
From Jones, Chris C (UK Warton) at Tue, 08 Dec 2020 23:18:30 +0000
- Re: Transistor count
From Øyvind Teig at Tue, 08 Dec 2020 20:13:49 +0000
- List occam-com automatic bounce management
From SYMPA at Tue, 08 Dec 2020 19:22:07 +0000
- Re: Transistor count
From Larry Dickson at Tue, 08 Dec 2020 01:35:07 +0000
- Re: Transistor count
From Ruth Ivimey-Cook at Sun, 06 Dec 2020 21:44:53 +0000
- Re: Transistor count
From Ruth Ivimey-Cook at Sat, 05 Dec 2020 03:05:42 +0000
- RE: Transistor count
From Paul Walker at Fri, 04 Dec 2020 09:30:56 +0000
- Re: Transistor count
From Larry Dickson at Fri, 04 Dec 2020 02:43:38 +0000
- RE: Transistor count
From Paul Walker at Thu, 03 Dec 2020 23:36:17 +0000
- Re: Transistor count
From Øyvind Teig at Sat, 28 Nov 2020 11:30:40 +0000
- Re: Transistor count
From Larry Dickson at Sat, 28 Nov 2020 00:06:25 +0000
- Re: Transistor count
From Larry Dickson at Sat, 28 Nov 2020 00:02:41 +0000
- Re: Transistor count
From Larry Dickson at Wed, 25 Nov 2020 20:10:24 +0000
- RE: Transistor count
From Jones, Chris C (UK Warton) at Wed, 25 Nov 2020 17:40:32 +0000
- Re: Scientific processors
From Larry Dickson at Wed, 25 Nov 2020 16:02:08 +0000
- Re: Transistor count
From Larry Dickson at Wed, 25 Nov 2020 15:36:09 +0000
- RE: Scientific processors
From Jones, Chris C (UK Warton) at Wed, 25 Nov 2020 13:47:29 +0000
- Re: Scientific processors
From Denis A Nicole at Wed, 25 Nov 2020 12:24:41 +0000
- Re: Scientific processors
From Roger Shepherd at Wed, 25 Nov 2020 10:43:07 +0000
- Re: Transistor count
From Roger Shepherd at Wed, 25 Nov 2020 10:01:59 +0000
- Scientific processors
From Denis A Nicole at Wed, 25 Nov 2020 09:29:13 +0000
- Re: Transistor count
From Øyvind Teig at Wed, 25 Nov 2020 08:15:43 +0000
- Re: Transistor count
From Larry Dickson at Wed, 25 Nov 2020 01:19:29 +0000
- Re: Transistor count
From Larry Dickson at Wed, 25 Nov 2020 00:56:11 +0000
- Re: Transistor count
From Ruth Ivimey-Cook at Wed, 25 Nov 2020 00:00:04 +0000
- Re: Transistor count
From Roger Shepherd at Tue, 24 Nov 2020 22:37:33 +0000
- Re: Transistor count
From Roger Shepherd at Tue, 24 Nov 2020 22:30:21 +0000
- Re: Transistor count
From Roger Shepherd at Tue, 24 Nov 2020 22:03:40 +0000
- Re: Transistor count
From Larry Dickson at Tue, 24 Nov 2020 17:47:53 +0000
- RE: Transistor count
From Jones, Chris C (UK Warton) at Tue, 24 Nov 2020 17:13:09 +0000
- Re: Transistor count
From Ruth Ivimey-Cook at Tue, 24 Nov 2020 17:12:59 +0000
- Re: Transistor count
From Larry Dickson at Tue, 24 Nov 2020 16:57:18 +0000
- Re: Transistor count
From Øyvind Teig at Tue, 24 Nov 2020 10:37:07 +0000
- RE: Transistor count
From Jones, Chris C (UK Warton) at Tue, 24 Nov 2020 10:12:56 +0000
- RE: Transistor count
From Tony Gore at Tue, 24 Nov 2020 09:50:17 +0000
- Re: Transistor count
From Ruth Ivimey-Cook at Tue, 24 Nov 2020 03:47:13 +0000
- Re: Transistor count
From Larry Dickson at Tue, 24 Nov 2020 00:20:08 +0000
- Re: Transistor count
From Ruth Ivimey-Cook at Tue, 24 Nov 2020 00:19:11 +0000
- Re: Transistor count
From Larry Dickson at Mon, 23 Nov 2020 23:41:19 +0000
- Re: Transistor count
From Roger Shepherd at Mon, 23 Nov 2020 21:43:32 +0000
- Re: Transistor count
From rog@xxxxxxxx at Mon, 23 Nov 2020 19:21:01 +0000
- Re: Transistor count
From Larry Dickson at Mon, 23 Nov 2020 16:04:23 +0000
- RE: Transistor count
From Tony Gore at Mon, 23 Nov 2020 15:34:44 +0000
- Re: Transistor count
From Roger Shepherd at Mon, 23 Nov 2020 15:06:48 +0000
- Re: Transistor count
From Larry Dickson at Sun, 22 Nov 2020 23:20:12 +0000
- AW: Transistor count
From Uwe Mielke at Sun, 22 Nov 2020 22:43:30 +0000
- RE: Transistor count
From Tony Gore at Fri, 20 Nov 2020 19:28:37 +0000
- Re: Transistor count
From Larry Dickson at Fri, 20 Nov 2020 15:27:14 +0000
- Re: Transistor count
From Øyvind Teig at Fri, 20 Nov 2020 08:40:00 +0000
- Re: Transistor count
From Larry Dickson at Fri, 20 Nov 2020 00:56:51 +0000
- Re: Transistor count
From Øyvind Teig at Thu, 19 Nov 2020 22:47:53 +0000
- Re: Transistor count
From Øyvind Teig at Thu, 19 Nov 2020 19:28:26 +0000
- Re: Transistor count
From Roger Shepherd at Thu, 19 Nov 2020 18:54:29 +0000
- Re: Transistor count
From Denis A Nicole at Thu, 19 Nov 2020 18:19:52 +0000
- Re: Transistor count
From Larry Dickson at Thu, 19 Nov 2020 17:55:53 +0000
- Barry Cook, did you call?
From Larry Dickson at Sun, 27 Oct 2019 01:26:02 +0100
- cg test suite
From Larry Dickson at Fri, 02 Aug 2019 18:56:25 +0100
- Re: BNF for configuration language?
From Larry Dickson at Tue, 30 Jul 2019 17:32:51 +0100
- BNF for configuration language?
From Larry Dickson at Wed, 05 Jun 2019 03:06:09 +0100
- Re: Transistor count
From Tony Gore at Tue, 19 Mar 2019 04:59:51 +0000
- Transistor count
From Larry Dickson at Mon, 18 Mar 2019 23:06:58 +0000
- Re: Is Mario Schweigler on this list?
From Mario Schweigler at Tue, 26 Feb 2019 09:12:55 +0000
- Is Mario Schweigler on this list?
From ael at Mon, 25 Feb 2019 14:39:01 +0000
- Re: Call for help on CSPM
From Larry Dickson at Sat, 16 Feb 2019 02:41:53 +0000
- RE: Call for help on CSPM
From Chalmers, Kevin at Sat, 16 Feb 2019 00:15:57 +0000
- Call for help on CSPM
From Larry Dickson at Fri, 15 Feb 2019 23:45:00 +0000
- Re: Transputer/occam example of sliding choice?
From Larry Dickson at Thu, 17 Jan 2019 17:28:34 +0000
- Re: Transputer/occam example of sliding choice?
From Larry Dickson at Tue, 15 Jan 2019 04:33:56 +0000
- Transputer/occam example of sliding choice?
From Larry Dickson at Sat, 22 Dec 2018 18:59:05 +0000
- Re: Bad change in counted array protocol?
From Larry Dickson at Sat, 08 Dec 2018 00:31:39 +0000
- Re: Bad change in counted array protocol?
From Larry Dickson at Fri, 07 Dec 2018 17:09:27 +0000
- Re: Bad change in counted array protocol?
From Larry Dickson at Fri, 07 Dec 2018 16:21:42 +0000
- Re: Bad change in counted array protocol?
From Larry Dickson at Fri, 07 Dec 2018 01:53:56 +0000
- Re: Bad change in counted array protocol?
From Roger Shepherd at Thu, 06 Dec 2018 21:18:26 +0000
- Subscription request to list occam-com
From SYMPA at Thu, 06 Dec 2018 16:56:16 +0000
- Bad change in counted array protocol?
From Larry Dickson at Thu, 06 Dec 2018 15:34:04 +0000
- Re: x-to-y channel, anyone?
From Larry Dickson at Tue, 04 Dec 2018 01:10:04 +0000
- Re: x-to-y channel, anyone?
From bernhard.sputh at Thu, 22 Nov 2018 10:18:22 +0000
- x-to-y channel, anyone?
From Larry Dickson at Thu, 22 Nov 2018 00:03:35 +0000
- Re: AW: Emu ... (distributed) memory centric computing network
From Ruth Ivimey-Cook at Wed, 26 Sep 2018 13:10:56 +0100
- AW: Emu ... (distributed) memory centric computing network
From Uwe Mielke at Wed, 26 Sep 2018 06:40:04 +0100
- Re: Emu ... (distributed) memory centric computing network
From Larry Dickson at Mon, 24 Sep 2018 05:17:36 +0100
- Re: AW: Emu ... (distributed) memory centric computing network
From Bernard Pottier at Sun, 23 Sep 2018 19:41:20 +0100
- AW: Emu ... (distributed) memory centric computing network
From Uwe Mielke at Sun, 23 Sep 2018 15:06:18 +0100
- Emu ... (distributed) memory centric computing network
From Uwe Mielke at Sat, 22 Sep 2018 21:11:16 +0100
- CPA 2018 (Dresden, 19-22 Aug 2018) - Call for Participants
From P.H.Welch at Mon, 30 Jul 2018 19:48:22 +0100
- FYI: signoff list occam-com from ella.roubtsova@xxxxx
From SYMPA at Fri, 25 May 2018 06:46:35 +0100
- FYI: warn-signoff List "occam-com" from gardnerw@xxxxxxxxxxx
From SYMPA at Thu, 24 May 2018 23:37:38 +0100
- occam-com mailing list
From P.H.Welch at Thu, 24 May 2018 21:43:50 +0100
- FYI: signoff list occam-com from kushka1950@xxxxxxxxxxx
From SYMPA at Thu, 24 May 2018 19:07:06 +0100
- CPA 2018 - Keynote & Final Call for Papers
From P.H.Welch at Thu, 24 May 2018 18:28:35 +0100
- Re: Configurer question
From Larry Dickson at Tue, 01 May 2018 04:26:23 +0100
- Configurer question
From Larry Dickson at Thu, 15 Feb 2018 19:42:59 +0000
- CPA 2018, Dresden, 19-22 August: Call for Papers
From P.H.Welch at Thu, 08 Feb 2018 20:30:24 +0000
- FYI: signoff list occam-com from philippe.lemaire@xxxxxxxxxxxx
From SYMPA at Wed, 07 Feb 2018 13:37:08 +0000
- Re: Ravenscar profile and occam on the transputer
From Dr - Ing E. HODYS at Tue, 28 Nov 2017 09:46:59 +0000
- Re: Ravenscar profile and occam on the transputer
From Paul Walker (4Links) at Tue, 21 Nov 2017 12:55:52 +0000
- RE: Ravenscar profile and occam on the transputer
From tony at Tue, 21 Nov 2017 10:49:25 +0000
- FYI: signoff list occam-com from ftm.van.vugt@xxxxxxx
From SYMPA at Tue, 21 Nov 2017 09:30:03 +0000
- FYI: signoff list occam-com from jean-claude.royer@xxxxxxxxxxxxxxx
From SYMPA at Tue, 21 Nov 2017 09:08:40 +0000
- Re: Ravenscar profile and occam on the transputer
From Paul Walker (4Links) at Tue, 21 Nov 2017 08:43:43 +0000
- Re: Ravenscar profile and occam on the transputer
From Lawrence Dickson at Mon, 20 Nov 2017 17:55:26 +0000
- RE: Ravenscar profile and occam on the transputer
From tony at Mon, 20 Nov 2017 12:56:14 +0000
- Re: Ravenscar profile and occam on the transputer
From Paul Walker (4Links) at Mon, 20 Nov 2017 11:52:08 +0000
- Re: Ravenscar profile and occam on the transputer
From Larry Dickson at Mon, 20 Nov 2017 03:01:10 +0000
- RE: Ravenscar profile and occam on the transputer
From tony at Sun, 19 Nov 2017 09:53:40 +0000
- Re: Ravenscar profile and occam on the transputer
From Øyvind Teig at Fri, 17 Nov 2017 21:07:14 +0000
- Re: Ravenscar profile and occam on the transputer
From Lawrence Dickson at Fri, 17 Nov 2017 20:05:49 +0000
- CPA 2017 (Malta, 20-23 August) - Final Call for Participants
From P.H.Welch at Tue, 15 Aug 2017 18:17:54 +0100
- Subscription request to list occam-com
From SYMPA at Thu, 20 Jul 2017 17:46:26 +0100
- Linear bounded automaton
From Larry Dickson at Mon, 17 Jul 2017 18:44:46 +0100
- CPA 2017 (Malta, Aug 20-23) 2nd. Call for Participants
From P.H.Welch at Mon, 17 Jul 2017 14:12:59 +0100
- CPA 2017 (Malta, Aug 20-23) Call for Participants
From P.H.Welch at Thu, 29 Jun 2017 18:17:00 +0100
- Chair in the Department of Engineering at Leicester
From McEwan, Alistair (Dr.) at Tue, 13 Jun 2017 16:01:57 +0100
- Re: CSP questions
From Larry Dickson at Wed, 19 Apr 2017 00:05:32 +0100
- Re: Ravenscar profile and occam on the transputer
From Lawrence Dickson at Mon, 10 Apr 2017 17:33:04 +0100
- Re: Ravenscar profile and occam on the transputer
From Øyvind Teig at Mon, 10 Apr 2017 12:05:04 +0100
- Re: Ravenscar profile and occam on the transputer
From Larry Dickson at Sun, 09 Apr 2017 18:59:13 +0100
- Re: Ravenscar profile and occam on the transputer
From Øyvind Teig at Fri, 07 Apr 2017 19:40:59 +0100
- Re: Ravenscar profile and occam on the transputer
From Lawrence Dickson at Fri, 07 Apr 2017 17:46:49 +0100
- Ravenscar profile and occam on the transputer
From Teig, Oyvind UTC CCS at Fri, 07 Apr 2017 09:52:31 +0100
- Deadline Extended - CFP Communicating Process Architectures 2017
From Chalmers, Kevin at Wed, 05 Apr 2017 17:17:28 +0100
- Re: More L4 hearsay
From Larry Dickson at Mon, 03 Apr 2017 16:46:00 +0100
- More L4 hearsay
From rog@xxxxxxxx at Mon, 03 Apr 2017 09:46:41 +0100
- FYI: signoff list occam-com from allan.mcinnes@xxxxxxxxx
From SYMPA at Sat, 01 Apr 2017 18:56:05 +0100
- Re: CSP questions
From Larry Dickson at Sat, 01 Apr 2017 17:51:20 +0100
- Re: CSP questions
From Roger Shepherd at Fri, 31 Mar 2017 09:30:35 +0100
- Re: CSP questions
From Larry Dickson at Fri, 31 Mar 2017 04:43:32 +0100
- Re: [External] CSP questions
From Larry Dickson at Tue, 28 Mar 2017 20:27:17 +0100
- Re: [External] CSP questions
From Richard Dobson at Tue, 28 Mar 2017 17:26:31 +0100
- Re: [External] CSP questions
From Larry Dickson at Tue, 28 Mar 2017 16:24:28 +0100
- Re: [External] CSP questions
From Larry Dickson at Tue, 28 Mar 2017 16:06:49 +0100
- RE: [External] Re: CSP questions
From Teig, Oyvind UTC CCS at Tue, 28 Mar 2017 13:56:23 +0100
- RE: [External] Re: CSP questions
From Teig, Oyvind UTC CCS at Tue, 28 Mar 2017 10:07:33 +0100
- Re: CSP questions
From Larry Dickson at Tue, 14 Mar 2017 16:15:38 +0000
- Re: CSP questions
From Larry Dickson at Mon, 13 Mar 2017 22:15:51 +0000
- Re: CSP questions - priority
From ael at Mon, 13 Mar 2017 12:18:57 +0000
- Re: CSP questions
From David May at Mon, 13 Mar 2017 11:33:06 +0000
- Re: CSP questions
From Roger Shepherd at Sun, 12 Mar 2017 21:53:28 +0000
- Re: CSP questions
From ael at Sat, 11 Mar 2017 18:34:50 +0000
- Re: CSP questions
From Larry Dickson at Sat, 11 Mar 2017 17:31:08 +0000
- Re: CSP questions
From Larry Dickson at Tue, 07 Mar 2017 21:25:58 +0000
- CSP questions
From Larry Dickson at Wed, 15 Feb 2017 00:43:08 +0000
- CPA 2017 (Malta) - Call for Papers
From P.H.Welch at Mon, 13 Feb 2017 13:56:20 +0000
- Re: Question on T9000
From Roger Shepherd at Sun, 25 Dec 2016 22:16:38 +0000
- Re: Question on T9000
From Roger Shepherd at Sat, 24 Dec 2016 17:28:39 +0000
- Re: Question on T9000
From Larry Dickson at Fri, 23 Dec 2016 18:14:02 +0000
- Antw.: Question on T9000
From uwe.mielke@t-online.de at Fri, 23 Dec 2016 16:51:54 +0000
- Re: Question on T9000
From Denis A Nicole at Fri, 23 Dec 2016 12:36:06 +0000
- Re: Question on T9000
From David May at Fri, 23 Dec 2016 10:46:41 +0000
- Re: Question on T9000
From rog@xxxxxxxx at Fri, 23 Dec 2016 00:54:29 +0000
- Question on T9000
From Larry Dickson at Thu, 22 Dec 2016 21:21:48 +0000
- Re: Request for " Extended Transputer Code - a Target-Independent Representation of Parallel Programs "
From Larry Dickson at Thu, 15 Dec 2016 01:36:48 +0000
- Re: Fwd: Request for " Extended Transputer Code - a Target-Independent Representation of Parallel Programs "
From herman7 at Thu, 15 Dec 2016 00:20:57 +0000
- Fwd: Request for " Extended Transputer Code - a Target-Independent Representation of Parallel Programs "
From Larry Dickson at Tue, 13 Dec 2016 17:11:30 +0000
- Question on mobile swaps
From Larry Dickson at Sat, 10 Dec 2016 17:31:06 +0000
- Wish list for a fringe lecture
From Teig, Oyvind UTC CCS at Wed, 10 Aug 2016 10:28:20 +0100
- CPA 2016 - programme schedule / second call for participants
From P.H.Welch at Sun, 07 Aug 2016 19:58:00 +0100
- CPA 2016: Call for Participants
From P.H.Welch at Fri, 22 Jul 2016 18:22:08 +0100
- Communicating Process Architectures - CFP and Deadline Extension
From Chalmers, Kevin at Mon, 06 Jun 2016 17:42:21 +0100
- CFP - Communicating Process Architectures 2016
From Chalmers, Kevin at Thu, 25 Feb 2016 11:52:05 +0000
- CPA 2015 - final call / programme schedule
From P.H.Welch at Mon, 17 Aug 2015 15:24:14 +0100
- Communicating Process Architectures (CPA) 2015: David May keynote
From P.H.Welch at Wed, 05 Aug 2015 01:11:58 +0100
- Call for Participation - CPA 2015
From Chalmers, Kevin at Wed, 29 Jul 2015 14:53:18 +0100
- Some CSP proofs
From ael at Mon, 15 Jun 2015 13:59:19 +0100
- RE: Python books
From Kerridge, Jon at Fri, 08 May 2015 10:53:15 +0100
- Re: Python books
From Allan McInnes at Tue, 05 May 2015 20:37:51 +0100
- Re: Python books
From Dr. Andreas Stefik at Tue, 05 May 2015 19:00:14 +0100
- Python books
From P.H.Welch at Tue, 05 May 2015 18:55:26 +0100
- List occam-com automatic bounce management
From SYMPA at Tue, 05 May 2015 09:08:36 +0100
- CPA 2015: 2nd. Call for Papers
From P.H.Welch at Sat, 02 May 2015 17:47:15 +0100
- List occam-com automatic bounce management
From SYMPA at Tue, 28 Apr 2015 09:07:43 +0100
- List occam-com automatic bounce management
From SYMPA at Tue, 21 Apr 2015 09:07:44 +0100
- List occam-com automatic bounce management
From SYMPA at Tue, 14 Apr 2015 09:06:43 +0100
- Re: The Golang UK Conference
From Marc Smith at Wed, 08 Apr 2015 13:43:47 +0100
- The Golang UK Conference
From Teig, Oyvind BIS at Wed, 08 Apr 2015 12:16:48 +0100
- Re: Go - deadlocked processes causing memory leaks
From Øyvind Teig at Tue, 31 Mar 2015 21:49:52 +0100
- RE: Go - deadlocked processes causing memory leaks
From Kerridge, Jon at Tue, 31 Mar 2015 13:06:29 +0100
- Re: Go - deadlocked processes causing memory leaks
From Larry Dickson at Mon, 30 Mar 2015 17:02:21 +0100
- Re: Go - deadlocked processes causing memory leaks
From Roger Shepherd at Mon, 30 Mar 2015 16:24:11 +0100
- Re: Go - deadlocked processes causing memory leaks
From Øyvind Teig at Mon, 30 Mar 2015 14:13:21 +0100
- RE: Go - deadlocked processes causing memory leaks
From Kerridge, Jon at Mon, 30 Mar 2015 10:47:57 +0100
- Re: Go - deadlocked processes causing memory leaks
From Roger Shepherd at Mon, 30 Mar 2015 09:35:44 +0100
- Re: Go - deadlocked processes causing memory leaks
From Larry Dickson at Mon, 30 Mar 2015 03:28:34 +0100
- Re: Go - deadlocked processes causing memory leaks
From Jim Whitehead II at Sun, 29 Mar 2015 22:02:04 +0100
- Re: Go - deadlocked processes causing memory leaks
From Roger Shepherd at Sun, 29 Mar 2015 21:19:59 +0100
- RE: Go - deadlocked processes causing memory leaks
From Kerridge, Jon at Sun, 29 Mar 2015 19:15:37 +0100
- RE: Go - deadlocked processes causing memory leaks
From Kerridge, Jon at Sun, 29 Mar 2015 18:41:23 +0100
- Re: Go - deadlocked processes causing memory leaks
From Rick Beton at Sun, 29 Mar 2015 17:35:59 +0100
- Re: Go - deadlocked processes causing memory leaks
From Roger Shepherd at Sun, 29 Mar 2015 17:01:45 +0100
- Re: Go - deadlocked processes causing memory leaks
From Jim Whitehead II at Sun, 29 Mar 2015 16:20:49 +0100
- Re: Go - deadlocked processes causing memory leaks
From Rick Beton at Sun, 29 Mar 2015 15:19:14 +0100
- Go - deadlocked processes causing memory leaks
From Rick Beton at Sun, 29 Mar 2015 15:16:08 +0100
- Re: IP opportunity - angel(s) wanted
From Larry Dickson at Fri, 13 Mar 2015 16:35:43 +0000
- IP opportunity - angel(s) wanted
From Larry Dickson at Wed, 11 Mar 2015 15:20:28 +0000
- HPC job
From Martin, Jeremy at Wed, 11 Mar 2015 15:00:30 +0000
- Communicating Process Architectures 2015 - Call for Papers
From P.H.Welch at Mon, 09 Feb 2015 19:18:48 +0000
- List occam-com automatic bounce management
From SYMPA at Tue, 30 Dec 2014 07:54:37 +0000
- List occam-com automatic bounce management
From SYMPA at Tue, 23 Dec 2014 07:54:01 +0000
- List occam-com automatic bounce management
From SYMPA at Tue, 16 Dec 2014 07:53:04 +0000
- List occam-com automatic bounce management
From SYMPA at Tue, 16 Dec 2014 07:53:02 +0000
- List occam-com automatic bounce management
From SYMPA at Tue, 09 Dec 2014 07:52:34 +0000
- List occam-com automatic bounce management
From SYMPA at Tue, 02 Dec 2014 07:51:43 +0000
- List occam-com automatic bounce management
From SYMPA at Tue, 25 Nov 2014 07:51:17 +0000
- List occam-com automatic bounce management
From SYMPA at Tue, 18 Nov 2014 07:49:15 +0000
- List occam-com automatic bounce management
From SYMPA at Tue, 11 Nov 2014 07:48:59 +0000
- List occam-com automatic bounce management
From SYMPA at Tue, 04 Nov 2014 07:47:30 +0000
- List occam-com automatic bounce management
From SYMPA at Tue, 28 Oct 2014 07:46:35 +0000
- List occam-com automatic bounce management
From SYMPA at Tue, 21 Oct 2014 08:45:58 +0100
- List occam-com automatic bounce management
From SYMPA at Tue, 14 Oct 2014 08:45:04 +0100
- Opportunity
From Larry Dickson at Mon, 13 Oct 2014 17:30:24 +0100
- List occam-com automatic bounce management
From SYMPA at Tue, 07 Oct 2014 08:44:12 +0100
- Scalable abstractions for general-purpose parallel computation
From James Hanlon at Mon, 06 Oct 2014 13:37:42 +0100
- Re: [External] Re: The history of the term "to block on a channel"
From Øyvind Teig at Wed, 01 Oct 2014 18:03:11 +0100
- Re: [External] Re: The history of the term "to block on a channel"
From Larry Dickson at Wed, 01 Oct 2014 16:02:12 +0100
- SV: [External] Re: The history of the term "to block on a channel"
From Teig, Oyvind BIS at Wed, 01 Oct 2014 08:40:42 +0100
- Re: Using Concurrency and Parallelism Effedctively
From Barry (4Links) at Tue, 30 Sep 2014 12:54:38 +0100
- Using Concurrency and Parallelism Effedctively
From Kerridge, Jon at Tue, 30 Sep 2014 11:05:11 +0100
- Re: [External] The history of the term "to block on a channel"
From Øyvind Teig at Tue, 30 Sep 2014 07:11:21 +0100
- Re: [External] The history of the term "to block on a channel"
From Øyvind Teig at Mon, 29 Sep 2014 20:31:57 +0100
- Re: [External] The history of the term "to block on a channel"
From Larry Dickson at Mon, 29 Sep 2014 15:20:37 +0100
- Re: [External] The history of the term "to block on a channel"
From Ian East at Mon, 29 Sep 2014 15:08:12 +0100
- Re: [External] The history of the term "to block on a channel"
From Rick Beton at Mon, 29 Sep 2014 13:33:57 +0100
- SV: [External] Re: The history of the term "to block on a channel"
From Teig, Oyvind BIS at Mon, 29 Sep 2014 11:47:24 +0100
- Re: [External] The history of the term "to block on a channel"
From Roger Shepherd at Mon, 29 Sep 2014 11:33:42 +0100
- RE: The history of the term "to block on a channel"
From Jones, Chris C (UK Warton) at Mon, 29 Sep 2014 11:32:45 +0100
- Re: The history of the term "to block on a channel"
From Roger Shepherd at Mon, 29 Sep 2014 11:03:15 +0100
- RE: The history of the term "to block on a channel"
From Jones, Chris C (UK Warton) at Mon, 29 Sep 2014 10:55:51 +0100
- Re: The history of the term "to block on a channel"
From Øyvind Teig at Sun, 28 Sep 2014 20:29:34 +0100
- Re: The history of the term "to block on a channel"
From David May at Sun, 28 Sep 2014 18:06:46 +0100
- Re: The history of the term "to block on a channel"
From Larry Dickson at Sat, 27 Sep 2014 18:32:35 +0100
- SV: The history of the term "to block on a channel"
From Teig, Oyvind BIS at Fri, 26 Sep 2014 15:19:40 +0100
- SV: [External] Re: The history of the term "to block on a channel"
From Teig, Oyvind BIS at Fri, 26 Sep 2014 14:26:46 +0100
- RE: The history of the term "to block on a channel"
From tony at Fri, 26 Sep 2014 13:44:14 +0100
- Re: The history of the term "to block on a channel"
From Marc Smith at Fri, 26 Sep 2014 13:29:34 +0100
- SV: The history of the term "to block on a channel"
From Teig, Oyvind BIS at Fri, 26 Sep 2014 12:42:15 +0100
- RE: The history of the term "to block on a channel"
From Kerridge, Jon at Fri, 26 Sep 2014 12:19:17 +0100
- Re: The history of the term "to block on a channel"
From Matt . Pedersen at Fri, 26 Sep 2014 10:23:11 +0100
- Re: The history of the term "to block on a channel"
From Roger Shepherd at Fri, 26 Sep 2014 10:19:13 +0100
- RE: The history of the term "to block on a channel"
From tony at Fri, 26 Sep 2014 09:20:01 +0100
- The history of the term "to block on a channel"
From Teig, Oyvind BIS at Fri, 26 Sep 2014 08:08:18 +0100
- SV: [External] Re: CPA2014
From Teig, Oyvind BIS at Fri, 29 Aug 2014 15:19:32 +0100
- Re: CPA2014
From Rick Beton at Fri, 29 Aug 2014 10:06:17 +0100
- CPA2014
From Rick Beton at Thu, 28 Aug 2014 14:42:34 +0100
- CPA 2014 - programme and *final call for delegates*
From P.H.Welch at Sun, 10 Aug 2014 16:52:50 +0100
- Re: Java Jigsaw
From Larry Dickson at Thu, 03 Jul 2014 15:34:54 +0100
- Re: Java Jigsaw
From Neil Brown at Thu, 03 Jul 2014 12:04:45 +0100
- Java Jigsaw
From Barry (4Links) at Thu, 03 Jul 2014 11:38:05 +0100
- My book is available
From Larry Dickson at Sat, 31 May 2014 18:03:45 +0100
- Concurrent Process Architectures (CPA) 2014 - Second Call for Papers
From Thomas Gibson-Robinson at Wed, 07 May 2014 07:39:07 +0100
- Adapteva Parallella + Arduissimo : Multi-virtual-Core Arduino
From J . B . W . Webber at Thu, 01 May 2014 17:13:26 +0100
- Re: Update on FG-MPI from CPA 2013
From P.H.Welch at Tue, 25 Mar 2014 17:05:53 +0000
- Re: Michael Poole
From Hamid Arabnia at Sun, 16 Mar 2014 21:44:30 +0000
- Re: Michael Poole
From ruth@ivimey.org at Thu, 13 Mar 2014 13:40:21 +0000
- Re: Michael Poole
From P.H.Welch at Wed, 12 Mar 2014 16:35:58 +0000
- Re: Michael Poole
From Larry Dickson at Mon, 10 Mar 2014 15:12:46 +0000
- Michael Poole
From Ian East at Mon, 10 Mar 2014 10:17:17 +0000
- Michael Poole
From P.H.Welch at Sun, 09 Mar 2014 20:22:07 +0000
- Concurrent Process Architectures (CPA) 2014 - First Call for Papers
From Thomas Gibson-Robinson at Wed, 05 Mar 2014 11:17:18 +0000
- some old computer science
From Larry Dickson at Mon, 10 Feb 2014 20:17:30 +0000
- ilist - the binary lister
From Teig, Oyvind CCS at Mon, 03 Feb 2014 10:52:37 +0000
- FW: [SCONE] Fully funded PhD studentships in Pervasive Parallelism at Edinburgh
From Chalmers, Kevin at Fri, 06 Dec 2013 08:49:55 +0000
- Subscription request to list occam-com
From SYMPA at Wed, 13 Nov 2013 15:10:42 +0000
- Reactive programming MOOC course just started
From Rick Beton at Tue, 05 Nov 2013 18:59:48 +0000
- New occam-related IP
From Larry Dickson at Sat, 05 Oct 2013 16:36:49 +0100
- Re: List questions
From P.H.Welch at Fri, 04 Oct 2013 14:56:20 +0100
- List questions
From Larry Dickson at Wed, 02 Oct 2013 21:40:01 +0100
- Re: CSP Opportunity.. resources?
From Gordon Hutchison at Wed, 25 Sep 2013 09:45:02 +0100
- CSP Opportunity.. resources?
From Ruth Ivimey-Cook at Tue, 24 Sep 2013 19:10:01 +0100
- Re: Live Kickstarter
From Larry Dickson at Fri, 16 Aug 2013 16:30:03 +0100
- CPA 2013 Registration
From herman7 at Thu, 08 Aug 2013 13:50:02 +0100
- Registration now open CPA 2013
From Chalmers, Kevin at Mon, 29 Jul 2013 15:10:03 +0100
- SV: [External] The place of Concurrency (in c++)
From Teig, Oyvind CCS at Fri, 26 Jul 2013 13:15:02 +0100
- Re: The place of Concurrency (in c++)
From Larry Dickson at Wed, 24 Jul 2013 18:15:02 +0100
- The place of Concurrency (in c++)
From Ruth Ivimey-Cook at Wed, 24 Jul 2013 17:50:03 +0100
- Live Kickstarter
From Larry Dickson at Mon, 08 Jul 2013 19:10:05 +0100
- SV: [External] Re: Transputer - schools
From Teig, Oyvind CCS at Mon, 01 Jul 2013 11:50:03 +0100
- RE: Transputer - schools
From J . B . W . Webber at Mon, 01 Jul 2013 11:35:02 +0100
- Re: Transputer - schools
From Denis A Nicole at Mon, 01 Jul 2013 11:25:02 +0100
- Re: Transputer - schools
From Larry Dickson at Sat, 29 Jun 2013 19:55:02 +0100
- Re: Transputer - schools
From Ian East at Sat, 29 Jun 2013 19:30:02 +0100
- Re: Transputer - schools
From Larry Dickson at Sat, 29 Jun 2013 19:20:02 +0100
- RE: Transputer - schools
From J . B . W . Webber at Sat, 29 Jun 2013 19:10:02 +0100
- Re: Transputer - schools
From David May at Sat, 29 Jun 2013 18:45:02 +0100
- Re: Transputer - schools
From Richard Dobson at Sat, 29 Jun 2013 12:35:02 +0100
- RE: Transputer - schools
From J . B . W . Webber at Sat, 29 Jun 2013 12:15:02 +0100
- Re: Transputer - schools
From J . B . W . Webber at Sat, 29 Jun 2013 09:35:03 +0100
- Re: Transputer - schools
From David May at Fri, 28 Jun 2013 23:05:07 +0100
- Re: Transputer - schools
From Ruth Ivimey-Cook at Fri, 28 Jun 2013 17:05:03 +0100
- Re: Transputer - schools
From Larry Dickson at Fri, 28 Jun 2013 15:15:03 +0100
- RE: Transputer - schools
From J . B . W . Webber at Fri, 28 Jun 2013 10:00:02 +0100
- RE: Transputer - schools
From J . B . W . Webber at Thu, 27 Jun 2013 23:50:01 +0100
- Re: Transputer - schools
From Ruth Ivimey-Cook at Thu, 27 Jun 2013 23:05:04 +0100
- RE: Transputer - schools
From J . B . W . Webber at Thu, 27 Jun 2013 19:55:03 +0100
- Re: Transputer - schools
From Matt B Pedersen at Thu, 27 Jun 2013 17:50:41 +0100
- Re: Transputer - schools
From Larry Dickson at Thu, 27 Jun 2013 17:40:03 +0100
- RE: Transputer - schools
From J . B . W . Webber at Thu, 27 Jun 2013 17:15:02 +0100
- Feedback, por favor
From Larry Dickson at Thu, 27 Jun 2013 17:05:03 +0100
- RE: Transputer - schools
From J . B . W . Webber at Wed, 26 Jun 2013 18:40:06 +0100
- Re: Transputer - schools
From Bob Gustafson at Wed, 26 Jun 2013 18:25:02 +0100
- RE: Transputer - schools
From J . B . W . Webber at Wed, 26 Jun 2013 18:00:02 +0100
- RE: Transputer - schools
From J . B . W . Webber at Wed, 26 Jun 2013 16:40:02 +0100
- Re: Transputer - schools
From Larry Dickson at Wed, 26 Jun 2013 16:30:03 +0100
- RE: Transputer - schools
From J . B . W . Webber at Wed, 26 Jun 2013 12:40:06 +0100
- Re: Transputer - schools
From Richard Dobson at Wed, 26 Jun 2013 10:20:04 +0100
- RE: Transputer - schools
From Tony at Wed, 26 Jun 2013 08:35:02 +0100
- RE: Transputer - schools
From J . B . W . Webber at Tue, 25 Jun 2013 21:20:05 +0100
- RE: Transputer
From J . B . W . Webber at Thu, 20 Jun 2013 18:50:04 +0100
- Re: Transputer
From Richard Dobson at Thu, 20 Jun 2013 18:45:07 +0100
- Re: Transputer
From Larry Dickson at Thu, 20 Jun 2013 18:45:04 +0100
- Re: Transputer
From Ruth Ivimey-Cook at Thu, 20 Jun 2013 18:10:04 +0100
- Re: Transputer
From Larry Dickson at Thu, 20 Jun 2013 18:05:04 +0100
- Re: Transputer
From Ruth Ivimey-Cook at Thu, 20 Jun 2013 17:00:04 +0100
- Transputer
From Barry Cook (4Links) at Thu, 20 Jun 2013 16:55:04 +0100
- RE: Aplc, Parallella - intercommunication
From J . B . W . Webber at Thu, 30 May 2013 17:55:09 +0100
- Aplc apl to c compiler ported to Parallella
From J . B . W . Webber at Tue, 28 May 2013 02:35:03 +0100
- Re: Appeal for information ...
From Larry Dickson at Mon, 27 May 2013 17:30:06 +0100
- RE: Appeal for information ... wider coverage ?
From J . B . W . Webber at Mon, 27 May 2013 15:15:07 +0100
- Node.js
From Teig, Oyvind CCS at Mon, 27 May 2013 12:55:03 +0100
- Re: Appeal for information ...
From Rick Beton at Mon, 27 May 2013 11:20:04 +0100
- RE: Appeal for information ...
From J . B . W . Webber at Sun, 26 May 2013 22:25:02 +0100
- Appeal for information ...
From P.H.Welch at Fri, 24 May 2013 14:40:03 +0100
- CFP - Communicating Process Architectures 2013 -- Deadline extended 22nd April
From Chalmers, Kevin at Fri, 05 Apr 2013 16:15:03 +0100
- XMOS article by David May!
From Marc L. Smith at Thu, 21 Mar 2013 12:35:03 +0000
- Re: Anybody seen this?
From Herman Roebbers at Mon, 18 Mar 2013 18:35:05 +0000
- RE: Anybody seen this?
From P.H.Welch at Sun, 17 Mar 2013 20:20:02 +0000
- Re: Anybody seen this?
From J.F.Broenink at Sat, 16 Mar 2013 19:20:03 +0000
- RE: Anybody seen this?
From Tony at Sat, 16 Mar 2013 16:25:02 +0000
- Re: Anybody seen this?
From Larry Dickson at Sat, 16 Mar 2013 15:45:01 +0000
- Re: Anybody seen this?
From Herman Roebbers at Sat, 16 Mar 2013 12:05:02 +0000
- Re: Anybody seen this?
From ael at Sat, 16 Mar 2013 09:40:02 +0000
- Anybody seen this?
From Herman Roebbers at Fri, 15 Mar 2013 22:40:04 +0000
- Re: Comparing programming languages
From Rick Beton at Fri, 08 Feb 2013 23:25:04 +0000
- Comparing programming languages
From Barry Cook (4Links) at Fri, 08 Feb 2013 21:05:02 +0000
- CFP - Communicating Process Architectures 2013
From Chalmers, Kevin at Mon, 14 Jan 2013 09:45:02 +0000
- Re: Thesis - Comparing virtualizations for Occam on the Intel 48-core Single-chip Cloud Computer
From Larry Dickson at Mon, 03 Dec 2012 14:50:02 +0000
- Thesis - Comparing virtualizations for Occam on the Intel 48-core Single-chip Cloud Computer
From Kazuto MATSUI at Mon, 03 Dec 2012 12:35:03 +0000
- RE: WYSIWYG semantics tagged to which methodology?
From Eric Verhulst (OLS) at Thu, 29 Nov 2012 12:45:04 +0000
- WYSIWYG semantics tagged to which methodology?
From Teig, Oyvind CCS at Thu, 29 Nov 2012 08:10:02 +0000
- Parallella multi-processor chip/board - successfully crowd funded
From J . B . W . Webber at Sat, 27 Oct 2012 11:00:03 +0100
- RE: Adapteva / Epithany
From J . B . W . Webber at Wed, 10 Oct 2012 11:55:02 +0100
- RE: Adapteva / Epithany
From Eric Verhulst (OLS) at Wed, 10 Oct 2012 11:00:05 +0100
- Re: Adapteva / Epithany
From Barry Cook (4Links) at Tue, 09 Oct 2012 19:05:02 +0100
- RE: Adapteva / Epithany
From J . B . W . Webber at Tue, 09 Oct 2012 06:25:02 +0100
- Adapteva / Epithany
From Barry Cook (4Links) at Mon, 08 Oct 2012 10:50:03 +0100
- Re: Programming prioritisation
From Barry Cook (4Links) at Mon, 08 Oct 2012 10:20:02 +0100
- RE: XMOS devices + Altera NiosII
From J . B . W . Webber at Sun, 07 Oct 2012 00:05:02 +0100
- RE: XMOS devices
From J . B . W . Webber at Sat, 06 Oct 2012 12:25:02 +0100
- List archive
From Øyvind Teig at Sat, 06 Oct 2012 09:05:04 +0100
- Re: Occam-Tau anyone???
From Larry Dickson at Fri, 05 Oct 2012 22:45:03 +0100
- Re: Occam-Tau anyone???
From Michael at Fri, 05 Oct 2012 22:30:03 +0100
- Re: Occam-Tau anyone???
From Larry Dickson at Fri, 05 Oct 2012 22:10:04 +0100
- Re: Occam-Tau anyone???
From Michael at Fri, 05 Oct 2012 22:00:03 +0100
- Re: Occam-Tau anyone???
From Fred Barnes at Fri, 05 Oct 2012 19:20:02 +0100
- Re: Occam-Tau anyone???
From Larry Dickson at Fri, 05 Oct 2012 17:30:04 +0100
- Re: Occam-Tau anyone???
From Michael at Fri, 05 Oct 2012 17:25:02 +0100
- Re: Occam-Tau anyone???
From Larry Dickson at Fri, 05 Oct 2012 17:10:06 +0100
- Re: Occam-Tau anyone???
From Larry Dickson at Fri, 05 Oct 2012 16:15:01 +0100
- Re: Occam-Tau anyone???
From Michael at Fri, 05 Oct 2012 15:40:03 +0100
- Re: Occam-Tau anyone???
From Ian East at Fri, 05 Oct 2012 15:35:02 +0100
- Re: Programming prioritisation
From Barry Cook (4Links) at Fri, 05 Oct 2012 14:20:06 +0100
- Re: Occam-Tau anyone???
From P.H.Welch at Fri, 05 Oct 2012 13:20:02 +0100
- RE: Occam-Tau anyone???
From Jones, Chris C (UK Warton) at Fri, 05 Oct 2012 10:25:04 +0100
- SV: Occam-Tau anyone???
From Teig, Oyvind CCS at Fri, 05 Oct 2012 10:25:03 +0100
- RE: Occam-Tau anyone???
From Jeremy Martin at Fri, 05 Oct 2012 10:05:15 +0100
- RE: Occam-Tau anyone???
From Tony at Fri, 05 Oct 2012 09:55:02 +0100
- SV: Occam-Tau anyone???
From Teig, Oyvind CCS at Fri, 05 Oct 2012 09:25:04 +0100
- RE: Occam-Tau anyone???
From Eric Verhulst (OLS) at Fri, 05 Oct 2012 09:15:02 +0100
- SV: Occam-Tau anyone???
From Teig, Oyvind CCS at Fri, 05 Oct 2012 08:40:02 +0100
- Re: Occam-Tau anyone???
From David May at Fri, 05 Oct 2012 00:00:02 +0100
- RE: Occam-Tau anyone???
From Eric Verhulst (OLS) at Thu, 04 Oct 2012 23:15:02 +0100
- Occam-Tau anyone???
From Rick Beton at Thu, 04 Oct 2012 20:40:06 +0100
- RE: Programming prioritisation
From Eric Verhulst (OLS) at Thu, 04 Oct 2012 20:30:02 +0100
- RE: Programming prioritisation
From Eric Verhulst (OLS) at Thu, 04 Oct 2012 18:30:03 +0100
- RE: Programming prioritisation
From J . B . W . Webber at Thu, 04 Oct 2012 18:05:02 +0100
- Re: Programming prioritisation
From Ruth Ivimey-Cook at Thu, 04 Oct 2012 17:55:04 +0100
- RE: Programming prioritisation
From Eric Verhulst (OLS) at Thu, 04 Oct 2012 17:25:04 +0100
- Re: Programming prioritisation
From Larry Dickson at Thu, 04 Oct 2012 16:55:02 +0100
- RE: Programming prioritisation
From Eric Verhulst (OLS) at Thu, 04 Oct 2012 16:25:03 +0100
- Re: Programming prioritisation
From Larry Dickson at Thu, 04 Oct 2012 16:25:02 +0100
- Re: Programming prioritisation
From Larry Dickson at Thu, 04 Oct 2012 15:55:03 +0100
- RE: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Eric Verhulst (OLS) at Thu, 04 Oct 2012 13:50:02 +0100
- SV: SV: Programming prioritisation
From Teig, Oyvind CCS at Thu, 04 Oct 2012 10:10:02 +0100
- Re: SV: Programming prioritisation
From Ian East at Thu, 04 Oct 2012 09:55:01 +0100
- SV: Programming prioritisation
From Teig, Oyvind CCS at Thu, 04 Oct 2012 08:15:03 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Larry Dickson at Thu, 04 Oct 2012 02:25:03 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From David May at Thu, 04 Oct 2012 00:05:13 +0100
- RE: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Eric Verhulst (OLS) at Wed, 03 Oct 2012 23:30:03 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From David May at Wed, 03 Oct 2012 20:20:03 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Larry Dickson at Wed, 03 Oct 2012 19:45:02 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From David May at Wed, 03 Oct 2012 19:10:04 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Larry Dickson at Wed, 03 Oct 2012 15:10:01 +0100
- RE: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Eric Verhulst (OLS) at Wed, 03 Oct 2012 12:50:04 +0100
- Conference Proceedings
From Ian East at Wed, 03 Oct 2012 12:05:03 +0100
- RE: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Eric Verhulst (OLS) at Wed, 03 Oct 2012 09:30:01 +0100
- Re: Programming prioritisation
From Ian East at Wed, 03 Oct 2012 09:15:04 +0100
- RE: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From J . B . W . Webber at Wed, 03 Oct 2012 00:30:04 +0100
- RE: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Tony at Tue, 02 Oct 2012 23:25:01 +0100
- Re: Programming prioritisation
From Ruth Ivimey-Cook at Tue, 02 Oct 2012 22:25:03 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Larry Dickson at Tue, 02 Oct 2012 21:45:02 +0100
- RE: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Eric Verhulst (OLS) at Tue, 02 Oct 2012 20:15:02 +0100
- RE: Programming prioritisation
From Eric Verhulst (OLS) at Tue, 02 Oct 2012 19:35:02 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Larry Dickson at Tue, 02 Oct 2012 19:00:03 +0100
- Re: Programming prioritisation
From Larry Dickson at Tue, 02 Oct 2012 18:35:05 +0100
- Re: Programming prioritisation
From Larry Dickson at Tue, 02 Oct 2012 18:35:03 +0100
- Programming prioritisation
From Ian East at Tue, 02 Oct 2012 18:10:03 +0100
- Re: Programming prioritisation
From Ian East at Tue, 02 Oct 2012 18:10:02 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Larry Dickson at Tue, 02 Oct 2012 17:50:02 +0100
- RE: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Eric Verhulst (OLS) at Tue, 02 Oct 2012 17:35:02 +0100
- Re: Programming prioritisation
From Larry Dickson at Tue, 02 Oct 2012 17:20:02 +0100
- Re: Programming prioritisation
From Larry Dickson at Tue, 02 Oct 2012 16:20:06 +0100
- Re: Programming prioritisation
From Ian East at Tue, 02 Oct 2012 12:25:03 +0100
- Re: SV: Programming prioritisation
From Jim Whitehead II at Tue, 02 Oct 2012 11:40:04 +0100
- SV: Programming prioritisation
From Teig, Oyvind CCS at Tue, 02 Oct 2012 11:25:02 +0100
- Re: Programming prioritisation
From Larry Dickson at Mon, 01 Oct 2012 19:05:04 +0100
- Re: Programming prioritisation
From David May at Mon, 01 Oct 2012 18:45:01 +0100
- Re: Programming prioritisation
From Ian East at Mon, 01 Oct 2012 18:25:02 +0100
- Re: Programming prioritisation
From Larry Dickson at Mon, 01 Oct 2012 17:10:04 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Adam Sampson at Mon, 01 Oct 2012 17:05:05 +0100
- Programming prioritisation
From Ian East at Mon, 01 Oct 2012 16:25:05 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Larry Dickson at Mon, 01 Oct 2012 15:05:06 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Ian East at Mon, 01 Oct 2012 12:40:03 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Richard Dobson at Mon, 01 Oct 2012 12:25:02 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Ian East at Mon, 01 Oct 2012 10:50:02 +0100
- RE: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Tony at Mon, 01 Oct 2012 10:10:03 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Ian East at Mon, 01 Oct 2012 09:30:05 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From David May at Sun, 30 Sep 2012 11:45:03 +0100
- CPA now on Facebook
From Matt B Pedersen at Sat, 29 Sep 2012 23:15:02 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi
From Rick Beton at Sat, 29 Sep 2012 13:55:03 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Ian East at Fri, 28 Sep 2012 18:10:05 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Larry Dickson at Fri, 28 Sep 2012 17:20:02 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Ian East at Fri, 28 Sep 2012 16:30:08 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Larry Dickson at Fri, 28 Sep 2012 16:15:03 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Ian East at Fri, 28 Sep 2012 12:20:05 +0100
- RE: Occam-Tau - the natural successor to Occam-Pi
From Bernhard H.C. Sputh at Fri, 28 Sep 2012 06:40:02 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi
From Larry Dickson at Thu, 27 Sep 2012 20:25:03 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi
From P.H.Welch at Thu, 27 Sep 2012 20:05:04 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi
From Larry Dickson at Thu, 27 Sep 2012 19:30:06 +0100
- RE: Occam-Tau - the natural successor to Occam-Pi
From P.H.Welch at Thu, 27 Sep 2012 19:00:04 +0100
- RE: Occam-Tau - the natural successor to Occam-Pi
From J . B . W . Webber at Thu, 27 Sep 2012 18:25:02 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Ian East at Thu, 27 Sep 2012 18:15:06 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Ian East at Thu, 27 Sep 2012 18:10:03 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Barry Cook (4Links) at Thu, 27 Sep 2012 17:30:03 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Rick Beton at Thu, 27 Sep 2012 16:45:03 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Rick Beton at Thu, 27 Sep 2012 16:25:03 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Larry Dickson at Thu, 27 Sep 2012 16:15:02 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Ruth Ivimey-Cook at Thu, 27 Sep 2012 14:25:03 +0100
- Re: Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Rick Beton at Thu, 27 Sep 2012 13:40:03 +0100
- Occam-Tau - the natural successor to Occam-Pi - or is there one already?
From Ian East at Thu, 27 Sep 2012 09:25:04 +0100
- Occam-Tau ideas (occam-com@xxxxxxxxxx)
From Rick Beton (Google Drive) at Wed, 26 Sep 2012 23:00:04 +0100
- Occam-Tau - the natural successor to Occam-Pi
From Rick Beton at Wed, 26 Sep 2012 23:00:01 +0100
- Re: CPA 2012 Edinburgh-Dundee cab share?
From Adam Sampson at Fri, 24 Aug 2012 12:40:03 +0100
- RE: CPA 2012 Edinburgh-Dundee cab share?
From Chalmers, Kevin at Fri, 24 Aug 2012 11:10:04 +0100
- Re: CPA 2012 Edinburgh-Dundee cab share?
From Herman Roebbers at Thu, 23 Aug 2012 19:05:05 +0100
- Re: CPA 2012 Edinburgh-Dundee cab share?
From Ruth Ivimey-Cook at Thu, 23 Aug 2012 12:35:02 +0100
- Re: CPA 2012 Edinburgh-Dundee cab share?
From P.H.Welch at Thu, 23 Aug 2012 12:20:03 +0100
- Re: CPA 2012 Edinburgh-Dundee cab share?
From Adam Sampson at Wed, 22 Aug 2012 15:55:04 +0100
- CPA-2012 Edinburgh-Dundee cab share after 16:30?
From Teig, Oyvind CCS at Wed, 22 Aug 2012 11:55:02 +0100
- CPA 2012 Edinburgh-Dundee cab share?
From Herman Roebbers at Wed, 15 Aug 2012 19:45:07 +0100
- Communicating Process Architectures 2012 -- call for participation
From Adam Sampson at Wed, 25 Jul 2012 16:20:04 +0100
- Re: Transputer Documentation Archive
From Bob Gustafson at Mon, 09 Jul 2012 14:15:02 +0100
- Re: Transputer Documentation Archive
From Larry Dickson at Mon, 09 Jul 2012 06:45:04 +0100
- Transputer Documentation Archive
From Larry Dickson at Mon, 09 Jul 2012 05:45:02 +0100
- Final call for papers -- CPA 2012 -- deadline extended
From Adam Sampson at Mon, 11 Jun 2012 20:25:05 +0100
- CfP: Communicating Process Architectures 2012
From Adam Sampson at Thu, 10 May 2012 16:49:40 +0100
- Re: Priority receives in Erlang
From Adam Sampson at Mon, 27 Feb 2012 15:45:05 +0000
- Re: Priority receives in Erlang
From Jim Whitehead II at Sat, 25 Feb 2012 10:05:15 +0000
- Re: Priority receives in Erlang
From Larry Dickson at Sat, 25 Feb 2012 01:15:06 +0000
- RE: Priority receives in Erlang
From Eric Verhulst (OLS) at Fri, 24 Feb 2012 20:20:06 +0000
- Re: Priority receives in Erlang
From Bob Gustafson at Fri, 24 Feb 2012 19:55:03 +0000
- Priority receives in Erlang
From P.H.Welch at Fri, 24 Feb 2012 19:35:05 +0000
- New Springer Books
From Open License Society at Sun, 04 Sep 2011 01:20:15 +0100
- TheRegister article
From John Markus Bjørndalen at Fri, 19 Aug 2011 14:50:03 +0100
- FW: Economist article
From Chalmers, Kevin at Tue, 14 Jun 2011 13:45:03 +0100
- CPA 2011: Final Programme and Call for Delegates
From P.H.Welch at Mon, 13 Jun 2011 16:10:02 +0100
- Re: CPA 2011 (19-22 June, Limerick) Programme and Call for Delegates
From P.H.Welch at Tue, 17 May 2011 18:40:03 +0100
- CPA 2011 (19-22 June, Limerick) Programme and Call for Delegates
From P.H.Welch at Tue, 17 May 2011 18:20:02 +0100
- New JEDEC JESD204A high speed serial data interface standard
From J . B . W . Webber at Wed, 23 Mar 2011 09:15:02 +0000
- CPA 2011 - extension to the paper submission deadline
From P.H.Welch at Sun, 20 Feb 2011 15:05:06 +0000
- Communicating Process Architectures 2011 - Second Call for Papers
From P.H.Welch at Mon, 31 Jan 2011 17:05:03 +0000
- Re: The problem(s) with threads
From Rick Beton at Fri, 07 Jan 2011 14:10:03 +0000
- Re: The problem(s) with threads
From Adam Sampson at Fri, 07 Jan 2011 11:55:02 +0000
- Re: The problem(s) with threads
From Rick Beton at Fri, 07 Jan 2011 09:30:03 +0000
- The problem(s) with threads
From Teig, Oyvind UTCFS at Fri, 07 Jan 2011 07:45:02 +0000
- Okkam
From Allen, Dr Alastair R. (Engineering) at Fri, 26 Nov 2010 16:20:03 +0000
- Communicating Process Architectures 2011 - Call for Papers
From P.H.Welch at Tue, 16 Nov 2010 17:15:02 +0000
- Call for authors
From Ian East at Tue, 19 Oct 2010 17:00:03 +0100
- KRoC for ARM
From Ruth Ivimey-Cook at Fri, 03 Sep 2010 16:55:01 +0100
- Illuminato X Machina
From Allan McInnes at Thu, 12 Aug 2010 02:15:33 +0100
- PhD thesis LaTeX style
From Joël-Alexis Bialkiewicz at Sat, 31 Jul 2010 08:53:30 +0100
- RE: Parallel programming, Arduino and the good kind of trouble
From Tony Gore at Thu, 17 Jun 2010 10:10:28 +0100
- Re: Parallel programming, Arduino and the good kind of trouble
From Adam Sampson at Wed, 16 Jun 2010 23:41:50 +0100
- Parallel programming, Arduino and the good kind of trouble
From Tony Gore at Wed, 16 Jun 2010 22:24:30 +0100
- Re: Cost of Choise operators in CSP?
From Adam Sampson at Thu, 20 May 2010 10:33:24 +0100
- RE: Cost of Choise operators in CSP?
From Neil Brown at Wed, 19 May 2010 14:48:54 +0100
- RE: Cost of Choise operators in CSP?
From Chalmers, Kevin at Wed, 19 May 2010 11:59:46 +0100
- Re: Cost of Choise operators in CSP?
From Joël-Alexis Bialkiewicz at Wed, 19 May 2010 11:52:36 +0100
- RE: Cost of Choise operators in CSP?
From Chalmers, Kevin at Wed, 19 May 2010 09:23:40 +0100
- Cost of Choise operators in CSP?
From Campbell, John at Tue, 18 May 2010 23:41:29 +0100
- Re: CSP and Actor Comparison
From Allan McInnes at Tue, 11 May 2010 11:56:23 +0100
- Re: CSP and Actor Comparison
From Sarah Mount at Tue, 11 May 2010 01:38:26 +0100
- Code generation conference
From Ruth Ivimey-Cook at Mon, 10 May 2010 13:45:05 +0100
- Re: Can XMOS do occam?
From Larry Dickson at Sat, 01 May 2010 23:29:01 +0100
- Re: Can XMOS do occam?
From Adam Sampson at Sat, 01 May 2010 21:09:56 +0100
- Re: Can XMOS do occam?
From herman7 at Sat, 01 May 2010 18:07:10 +0100
- Re: Can XMOS do occam?
From Larry Dickson at Sat, 01 May 2010 16:27:16 +0100
- CSP and Actor Comparison
From Rick Beton at Sat, 01 May 2010 14:10:06 +0100
- Can XMOS do occam?
From Larry Dickson at Sat, 17 Apr 2010 18:16:03 +0100
- Verum
From Allen, Dr Alastair R. (Engineering) at Thu, 08 Apr 2010 15:00:07 +0100
- Re: Race condition...
From Bob Gustafson at Sun, 04 Apr 2010 19:38:51 +0100
- Re: Race condition...
From Larry Dickson at Sat, 03 Apr 2010 17:35:26 +0100
- Re: Race condition...
From Rick Beton at Wed, 31 Mar 2010 21:40:16 +0100
- RE: Race condition...
From Tony Gore at Wed, 31 Mar 2010 19:01:40 +0100
- RE: Race condition...
From Denis A Nicole at Wed, 31 Mar 2010 15:10:54 +0100
- RE: Race condition...
From Denis A Nicole at Wed, 31 Mar 2010 14:58:42 +0100
- RE: Race condition...
From Eric Verhulst at Wed, 31 Mar 2010 11:17:36 +0100
- RE: Race condition...
From Tony Gore at Wed, 31 Mar 2010 10:29:21 +0100
- RE: Race condition...
From Tony Gore at Wed, 31 Mar 2010 10:18:26 +0100
- RE: Race condition...
From Eric Verhulst at Wed, 31 Mar 2010 10:09:38 +0100
- Re: Race condition...
From Ian East at Wed, 31 Mar 2010 09:32:09 +0100
- RE: Race condition...
From Tony Gore at Wed, 31 Mar 2010 08:41:39 +0100
- Re: Race condition...
From Iain Phillips at Wed, 31 Mar 2010 08:27:45 +0100
- RE: Race condition...
From Tony Gore at Wed, 31 Mar 2010 03:17:51 +0100
- Re: "MapReduce for Go" post cites CSP
From Allan McInnes at Sun, 28 Mar 2010 06:15:10 +0100
- "MapReduce for Go" post cites CSP
From Marc L. Smith at Sun, 28 Mar 2010 02:17:47 +0100
- RE: Race condition...
From Larry Dickson at Sat, 20 Mar 2010 01:27:29 +0000
- RE: Race condition...
From Tony Gore at Fri, 19 Mar 2010 18:49:57 +0000
- Re: Race condition...
From Ian East at Fri, 19 Mar 2010 18:39:00 +0000
- RE: Race condition...
From Denis A Nicole at Fri, 19 Mar 2010 18:18:02 +0000
- RE: Race condition...
From Tony Gore at Fri, 19 Mar 2010 18:07:30 +0000
- RE: Race condition...
From Bob Gustafson at Mon, 15 Mar 2010 18:59:32 +0000
- RE: Race condition...
From Jones, Chris C (UK Warton) at Mon, 15 Mar 2010 15:56:48 +0000
- Re: Race condition...
From Larry Dickson at Mon, 15 Mar 2010 14:39:29 +0000
- Re: Race condition...
From Bob Gustafson at Mon, 15 Mar 2010 13:38:28 +0000
- Race condition...
From Marc L. Smith at Mon, 15 Mar 2010 12:53:08 +0000
- CPA 2009 pictures ?
From Joël-Alexis Bialkiewicz at Mon, 21 Dec 2009 00:05:15 +0000
- Re: [pop-dev] Go - a new language from Google
From Rick Beton at Fri, 13 Nov 2009 13:15:53 +0000
- Go benchmark programs
From Jim Whitehead II at Fri, 13 Nov 2009 11:59:52 +0000
- Re: [pop-dev] Go - a new language from Google
From Adam Sampson at Fri, 13 Nov 2009 10:25:51 +0000
- Re: [pop-dev] Go - a new language from Google
From Rick Beton at Thu, 12 Nov 2009 23:35:07 +0000
- Re: [pop-dev] Go - a new language from Google
From Jim Whitehead II at Thu, 12 Nov 2009 19:36:01 +0000
- Re: [pop-dev] Go - a new language from Google
From Tom Locke at Thu, 12 Nov 2009 19:11:18 +0000
- Re: [pop-dev] Go - a new language from Google
From Jim Whitehead II at Thu, 12 Nov 2009 17:46:29 +0000
- Re: The new Google "Go" language - with n=0..N buffered blocking channels
From Ian East at Thu, 12 Nov 2009 17:18:15 +0000
- Re: [pop-dev] Go - a new language from Google
From Jim Whitehead II at Thu, 12 Nov 2009 17:12:43 +0000
- Re: [pop-dev] Go - a new language from Google
From Rick Beton at Thu, 12 Nov 2009 17:11:03 +0000
- Re: SV: [pop-dev] Go - a new language from Google
From P.H.Welch at Thu, 12 Nov 2009 17:01:02 +0000
- Re: [pop-dev] Go - a new language from Google
From Jim Whitehead II at Thu, 12 Nov 2009 16:54:30 +0000
- Re: [pop-dev] Go - a new language from Google
From P.H.Welch at Thu, 12 Nov 2009 16:38:41 +0000
- Re: SV: [pop-dev] Go - a new language from Google
From Rick Beton at Thu, 12 Nov 2009 15:36:50 +0000
- Re: SV: [pop-dev] Go - a new language from Google
From Adam Sampson at Thu, 12 Nov 2009 15:00:28 +0000
- SV: [pop-dev] Go - a new language from Google
From Teig, Oyvind UTCFS at Thu, 12 Nov 2009 14:09:01 +0000
- Re: [pop-dev] Go - a new language from Google
From P.H.Welch at Thu, 12 Nov 2009 13:31:12 +0000
- Re: The new Google "Go" language - with n=0..N buffered blocking channels
From Jim Whitehead II at Thu, 12 Nov 2009 10:28:08 +0000
- Re: The new Google "Go" language - with n=0..N buffered blocking channels
From Rick Beton at Thu, 12 Nov 2009 00:38:18 +0000
- Re: [pop-dev] Go - a new language from Google
From Adam Sampson at Wed, 11 Nov 2009 13:41:51 +0000
- Re: [pop-dev] Go - a new language from Google
From P.H.Welch at Wed, 11 Nov 2009 12:58:14 +0000
- The new Google "Go" language - with n=0..N buffered blocking channels
From Teig, Oyvind UTCFS at Wed, 11 Nov 2009 09:06:08 +0000
- PhD thesis jury member (reviewer) needed
From Joël-Alexis Bialkiewicz at Thu, 05 Nov 2009 14:31:10 +0000
- Re: Quote from CACM paper: cost of parallelism
From Larry Dickson at Wed, 21 Oct 2009 01:22:47 +0100
- RE: Quote from CACM paper: cost of parallelism
From Eric Verhulst at Tue, 20 Oct 2009 20:43:35 +0100
- Re: Quote from CACM paper: cost of parallelism
From Bob Gustafson at Tue, 20 Oct 2009 20:38:13 +0100
- Re: Quote from CACM paper: cost of parallelism
From Lawrence Dickson at Tue, 20 Oct 2009 20:23:43 +0100
- Re: Quote from CACM paper: cost of parallelism
From Larry Dickson at Thu, 15 Oct 2009 00:05:42 +0100
- Re: CPA 2009 - almost final call for delegates
From P.H.Welch at Wed, 14 Oct 2009 20:03:38 +0100
- CPA 2009 - almost final call for delegates
From P.H.Welch at Wed, 14 Oct 2009 19:57:21 +0100
- Fwd: Quote from CACM paper: cost of parallelism
From Espen Suenson at Mon, 12 Oct 2009 22:04:25 +0100
- Re: Quote from CACM paper: cost of parallelism
From Ruth Ivimey-Cook at Sun, 11 Oct 2009 18:54:24 +0100
- RE: Quote from CACM paper: cost of parallelism
From Eric Verhulst at Sun, 11 Oct 2009 17:44:22 +0100
- Re: Quote from CACM paper: cost of parallelism
From Larry Dickson at Sun, 11 Oct 2009 16:06:11 +0100
- Re: Quote from CACM paper: cost of parallelism
From Rick Beton at Fri, 18 Sep 2009 21:25:17 +0100
- RE: Quote from CACM paper: cost of parallelism
From Chalmers, Kevin at Fri, 18 Sep 2009 15:00:54 +0100
- Quote from CACM paper: cost of parallelism
From Ruth Ivimey-Cook at Fri, 18 Sep 2009 12:31:41 +0100
- CPA 2009 Fringe programme - call for abstracts
From P.H.Welch at Sat, 05 Sep 2009 11:43:15 +0100
- CPA 2009 programme and call for delegates
From P.H.Welch at Fri, 28 Aug 2009 12:37:16 +0100
- Re: son of occam (was: Re: JCSP, CSP Networking, and other some other points)
From Lawrence Dickson at Wed, 05 Aug 2009 23:20:33 +0100
- Re: son of occam
From Lawrence Dickson at Wed, 05 Aug 2009 23:04:27 +0100
- Re: son of occam
From Lawrence Dickson at Wed, 05 Aug 2009 22:29:58 +0100
- Re: son of occam (was: Re: JCSP, CSP Networking, and other some other points)
From Tom Locke at Mon, 03 Aug 2009 10:50:07 +0100
- Re: son of occam (was: Re: JCSP, CSP Networking, and other some other points)
From Bob Gustafson at Mon, 03 Aug 2009 06:51:24 +0100
- Re: son of occam
From Ruth Ivimey-Cook at Sun, 02 Aug 2009 21:12:55 +0100
- Re: son of occam (was: Re: JCSP, CSP Networking, and other some other points)
From P.H.Welch at Sun, 02 Aug 2009 21:03:48 +0100
- Re: son of occam
From Ruth Ivimey-Cook at Sun, 02 Aug 2009 20:24:04 +0100
- Re: son of occam (was: Re: JCSP, CSP Networking, and other some other points)
From Ian East at Sun, 02 Aug 2009 17:49:25 +0100
- Re: son of occam (was: Re: JCSP, CSP Networking, and other some other points)
From Matt Pedersen at Sun, 02 Aug 2009 16:31:14 +0100
- son of occam (was: Re: JCSP, CSP Networking, and other some other points)
From Larry Dickson at Sun, 02 Aug 2009 15:53:33 +0100
- Fleet - a radically new processor architecture
From Tom Locke at Mon, 27 Jul 2009 16:43:56 +0100
- CPA 2009 - extension of submission deadline
From P.H.Welch at Sun, 28 Jun 2009 12:15:38 +0100
- New product releases from Altreonic
From Eric Verhulst at Thu, 25 Jun 2009 12:23:13 +0100
- CPA 2009 - paper submission deadline ...
From P.H.Welch at Wed, 10 Jun 2009 15:17:03 +0100
- New mailing lists for process-oriented programming
From Adam Sampson at Wed, 27 May 2009 10:31:01 +0100
- RE: JCSP, CSP Networking, and other some other points
From Eric Verhulst at Mon, 18 May 2009 14:11:57 +0100
- winf src and exe
From Teig, Oyvind UTCFS at Mon, 18 May 2009 07:12:49 +0100
- Re: JCSP, CSP Networking, and other some other points
From Rick Beton at Fri, 15 May 2009 16:24:54 +0100
- SV: JCSP, CSP Networking, and other some other points
From Teig, Oyvind UTCFS at Fri, 15 May 2009 13:23:49 +0100
- Re: JCSP, CSP Networking, and other some other points
From Ian East at Thu, 14 May 2009 17:25:52 +0100
- Re: JCSP, CSP Networking, and other some other points
From Ruth Ivimey-Cook at Thu, 14 May 2009 14:22:47 +0100
- Re: JCSP, CSP Networking, and other some other points
From P.H.Welch at Thu, 14 May 2009 05:07:57 +0100
- Re: Transterpreter
From Larry Dickson at Sat, 09 May 2009 05:11:20 +0100
- Re: Transterpreter
From Jon Simpson at Fri, 08 May 2009 13:14:41 +0100
- Re: Transterpreter
From Bob Gustafson at Fri, 08 May 2009 12:48:48 +0100
- Transterpreter
From Iain Phillips at Fri, 08 May 2009 09:31:59 +0100
- Re: JCSP, CSP Networking, and other some other points
From Larry Dickson at Thu, 07 May 2009 01:57:37 +0100
- CPA 2009 Call-for-Pepers
From P.H.Welch at Tue, 28 Apr 2009 13:51:55 +0100
- The CRG blog, and new features in KRoC
From Adam Sampson at Mon, 30 Mar 2009 16:52:11 +0100
- Dr Dobbs on Parallel..
From Bob Gustafson at Tue, 17 Mar 2009 22:19:15 +0000
- RE: There is always the lecture circuit
From Eric Verhulst at Thu, 26 Feb 2009 21:14:14 +0000
- RE: C Omega
From Kevin Chalmers at Thu, 26 Feb 2009 20:28:30 +0000
- C Omega
From Gordon Hutchison at Thu, 26 Feb 2009 18:02:59 +0000
- RE: spam: Scala ? -
From Andrzej Lewandowski at Thu, 26 Feb 2009 16:10:03 +0000
- Scala ? -
From Bob Gustafson at Thu, 26 Feb 2009 15:44:39 +0000
- RE: There is always the lecture circuit
From Eric Verhulst at Thu, 26 Feb 2009 10:55:42 +0000
- RE: There is always the lecture circuit
From Kevin Chalmers at Thu, 26 Feb 2009 09:21:46 +0000
- SV: There is always the lecture circuit
From Teig, Oyvind UTCFS at Thu, 26 Feb 2009 08:24:05 +0000
- The next Transputer..
From Bob Gustafson at Wed, 25 Feb 2009 23:12:59 +0000
- There is always the lecture circuit
From Bob Gustafson at Wed, 25 Feb 2009 22:55:39 +0000
- RE: JCSP, CSP Networking, and other some other points
From Kevin Chalmers at Wed, 25 Feb 2009 10:07:38 +0000
- SV: JCSP, CSP Networking, and other some other points
From Teig, Oyvind UTCFS at Wed, 25 Feb 2009 09:59:31 +0000
- Re: JCSP, CSP Networking, and other some other points
From Ruth Ivimey-Cook at Wed, 25 Feb 2009 00:04:27 +0000
- RE: JCSP, CSP Networking, and other some other points
From Andrzej Lewandowski at Tue, 24 Feb 2009 21:38:45 +0000
- RE: JCSP, CSP Networking, and other some other points
From Kevin Chalmers at Tue, 24 Feb 2009 21:32:03 +0000
- RE: JCSP, CSP Networking, and other some other points
From Tony Gore at Tue, 24 Feb 2009 21:29:07 +0000
- RE: JCSP, CSP Networking, and other some other points
From Andrzej Lewandowski at Tue, 24 Feb 2009 20:34:14 +0000
- Re: JCSP, CSP Networking, and other some other points
From Adam Sampson at Tue, 24 Feb 2009 18:54:54 +0000
- Re: JCSP, CSP Networking, and other some other points
From Adam Sampson at Tue, 24 Feb 2009 18:52:36 +0000
- Re: JCSP, CSP Networking, and other some other points
From Adam Sampson at Tue, 24 Feb 2009 18:50:11 +0000
- RE: JCSP, CSP Networking, and other some other points
From Bob Gustafson at Tue, 24 Feb 2009 16:57:46 +0000
- RE: JCSP, CSP Networking, and other some other points
From Andrzej Lewandowski at Tue, 24 Feb 2009 15:51:39 +0000
- RE: JCSP, CSP Networking, and other some other points
From Bob Gustafson at Tue, 24 Feb 2009 15:43:20 +0000
- RE: JCSP, CSP Networking, and other some other points
From Andrzej Lewandowski at Tue, 24 Feb 2009 14:44:32 +0000
- RE: JCSP, CSP Networking, and other some other points
From Bob Gustafson at Tue, 24 Feb 2009 14:03:27 +0000
- RE: JCSP, CSP Networking, and other some other points
From Andrzej Lewandowski at Tue, 24 Feb 2009 13:54:50 +0000
- RE: JCSP, CSP Networking, and other some other points
From Chalmers, Kevin at Tue, 24 Feb 2009 13:36:47 +0000
- RE: JCSP, CSP Networking, and other some other points
From Chalmers, Kevin at Tue, 24 Feb 2009 13:27:37 +0000
- RE: JCSP, CSP Networking, and other some other points
From Andrzej Lewandowski at Tue, 24 Feb 2009 12:38:15 +0000
- Re: JCSP, CSP Networking, and other some other points
From Adam Sampson at Tue, 24 Feb 2009 11:27:07 +0000
- JCSP, CSP Networking, and other some other points
From Chalmers, Kevin at Tue, 24 Feb 2009 10:04:31 +0000
- Re: SV: A CSP library "for dummies"?
From Bob Gustafson at Tue, 03 Feb 2009 15:43:17 +0000
- SV: A CSP library "for dummies"?
From Teig, Oyvind UTCFS at Tue, 03 Feb 2009 09:29:28 +0000
- RE: A CSP library "for dummies"?
From Eric Verhulst at Mon, 02 Feb 2009 22:15:15 +0000
- A CSP library "for dummies"?
From Ruth Ivimey-Cook at Mon, 02 Feb 2009 21:18:24 +0000
- Re: many-to-one channel
From Larry Dickson at Wed, 05 Nov 2008 02:40:26 +0000
- Re: many-to-one channel
From P.H.Welch at Sun, 19 Oct 2008 20:03:42 +0100
- Re: many-to-one channel
From Larry Dickson at Sun, 19 Oct 2008 03:17:16 +0100
- Re: many-to-one channel
From Larry Dickson at Sat, 18 Oct 2008 02:37:14 +0100
- Re: libcsp
From Adam Sampson at Fri, 17 Oct 2008 21:04:52 +0100
- RE: many-to-one channel
From McEwan, Dr A.A. at Fri, 17 Oct 2008 07:53:28 +0100
- many-to-one channel
From Larry Dickson at Fri, 17 Oct 2008 01:27:08 +0100
- Re: libcsp
From Bernhard H.C. Sputh at Thu, 16 Oct 2008 13:52:32 +0100
- RE: libcsp
From Andrzej Lewandowski at Thu, 16 Oct 2008 13:23:45 +0100
- libcsp
From Teig, Oyvind UTCFS at Thu, 16 Oct 2008 12:11:27 +0100
- XMOS and seminars
From Barry Cook at Wed, 15 Oct 2008 17:08:23 +0100
- JCSP Networking 2.0
From Chalmers, Kevin at Tue, 07 Oct 2008 10:55:13 +0100
- Re: XMOS at the CPA fringe next week ...
From P.H.Welch at Fri, 05 Sep 2008 01:10:32 +0100
- Re: XMOS at the CPA fringe next week ...
From Neil Brown at Fri, 05 Sep 2008 00:54:43 +0100
- XMOS at the CPA fringe next week ...
From P.H.Welch at Fri, 05 Sep 2008 00:44:17 +0100
- CPA 2008 Timetable and Programme
From P.H.Welch at Tue, 19 Aug 2008 15:50:29 +0100
- CPA 2008 programme
From P.H.Welch at Fri, 18 Jul 2008 11:41:10 +0100
- Occam for embedded system
From Lakhani, F.N. at Wed, 09 Jul 2008 12:18:54 +0100
- Re: Occam for FPGAs
From A.E.Lawrence at Tue, 08 Jul 2008 21:01:54 +0100
- Re: Occam for FPGAs
From Barry Cook at Mon, 07 Jul 2008 22:23:40 +0100
- RE: Occam for FPGAs
From J . F . Broenink at Mon, 07 Jul 2008 19:19:11 +0100
- Occam for FPGAs
From Lakhani, F.N. at Mon, 07 Jul 2008 17:54:12 +0100
- CPA 2008 Fringe
From P.H.Welch at Thu, 03 Jul 2008 17:40:20 +0100
- CoSMoS Workshop following CPA 2008
From P.H.Welch at Fri, 13 Jun 2008 14:36:46 +0100
- Re: Occam Programming
From Mario Schweigler at Sun, 08 Jun 2008 14:54:11 +0100
- Occam for Embedded Systems
From Lakhani, F.N. at Sat, 07 Jun 2008 11:59:03 +0100
- Parallel Haskell
From A.E.Lawrence at Thu, 05 Jun 2008 12:01:29 +0100
- Re: Beginner in Occam
From Allan McInnes at Thu, 05 Jun 2008 07:15:49 +0100
- Re: Occam Programming
From Allan McInnes at Thu, 05 Jun 2008 06:42:34 +0100
- Re: Occam Programming
From A.E.Lawrence at Wed, 04 Jun 2008 13:56:53 +0100
- Re: Occam Programming
From Adam Sampson at Wed, 04 Jun 2008 12:52:24 +0100
- Occam Programming
From Farah Lakhani at Wed, 04 Jun 2008 11:42:07 +0100
- Beginner in Occam
From fnl1 at Wed, 04 Jun 2008 10:05:45 +0100
- Finding concurrency errors in Java (Web seminar)
From Dyke Stiles at Tue, 03 Jun 2008 03:31:38 +0100
- Finding concurrency errors in Java (Web seminar)
From P.H.Welch at Tue, 03 Jun 2008 00:49:59 +0100
- CoSMoS Workshop Call (just after CPA 2008)
From P.H.Welch at Fri, 30 May 2008 15:05:45 +0100
- CPA 2008 submission deadline approaches ...
From P.H.Welch at Mon, 14 Apr 2008 10:37:15 +0100
- [Open License Society newsletter] newsletter on wishes 2008, OpenComRTOS, OpenSpecs, jobs
From Eric Verhulst (OLS) at Sat, 26 Jan 2008 00:15:54 +0000
- CPA 2008 Call For Papers
From P.H.Welch at Wed, 02 Jan 2008 15:34:13 +0000
- Re: Hardware software codesign
From Barry Cook at Mon, 10 Dec 2007 10:35:03 +0000
- Hardware software codesign
From Ruth Ivimey-Cook at Sun, 25 Nov 2007 16:15:42 +0000
- Occam's Razor
From Matt Pedersen at Sun, 25 Nov 2007 09:10:39 +0000
- Re: Alan Kay on the meaning of "object oriented"
From Allan McInnes at Sun, 18 Nov 2007 20:48:55 +0000
- Re: Alan Kay on the meaning of "object oriented"
From tjoccam at Thu, 15 Nov 2007 14:56:28 +0000
- Re: Alan Kay on the meaning of "object oriented"
From Allan McInnes at Wed, 14 Nov 2007 08:16:23 +0000
- Re: Alan Kay on the meaning of "object oriented"
From tjoccam at Tue, 13 Nov 2007 15:49:16 +0000
- Re: Alan Kay on the meaning of "object oriented"
From oyvind . teig at Mon, 12 Nov 2007 13:22:57 +0000
- Re: Alan Kay on the meaning of "object oriented"
From Allan McInnes at Sat, 10 Nov 2007 02:18:42 +0000
- Re: Alan Kay on the meaning of "object oriented"
From tjoccam at Sat, 10 Nov 2007 01:21:56 +0000
- Alan Kay on the meaning of "object oriented"
From Tom Locke at Fri, 09 Nov 2007 10:45:31 +0000
- Old transputer development hardware - anyone interested?
From Michael Poole at Thu, 11 Oct 2007 14:17:26 +0100
- Intel Threading...
From Ruth Ivimey-Cook at Wed, 25 Jul 2007 22:00:49 +0100
- RE: More multi-core
From Andrew Delin at Fri, 06 Jul 2007 00:00:24 +0100
- Re: Occam & Neural Nets
From Ruth Ivimey-Cook at Thu, 05 Jul 2007 20:30:42 +0100
- Re: More multi-core
From Barry Cook at Thu, 05 Jul 2007 17:31:26 +0100
- Re: More multi-core
From tjoccam at Thu, 05 Jul 2007 16:31:20 +0100
- Occam & Neural Nets
From Anne van Rossum at Thu, 05 Jul 2007 15:30:46 +0100
- Re: More multi-core
From P.H.Welch at Thu, 05 Jul 2007 15:00:45 +0100
- RE: More multi-core
From Tony Gore at Thu, 05 Jul 2007 12:00:39 +0100
- Re: More multi-core
From Barry Cook at Thu, 05 Jul 2007 10:00:34 +0100
- More multi-core
From Barry Cook at Wed, 04 Jul 2007 10:00:33 +0100
- CFC extended: process algebra book
From Bill Gardner at Fri, 15 Jun 2007 20:30:30 +0100
- Parallel Processing Considered Not Harmful
From Barry Cook at Wed, 13 Jun 2007 12:30:34 +0100
- A set of Transputing '91 available...
From Dyke Stiles at Tue, 12 Jun 2007 22:30:53 +0100
- Call for participation: CPA 2007
From A.Mcewan at Tue, 22 May 2007 10:00:45 +0100
- RE: Opportunities for CSP
From Eric Verhulst (OLS) at Tue, 15 May 2007 12:34:22 +0100
- Opportunities for CSP
From Tony Gore at Tue, 15 May 2007 08:20:24 +0100
- Call for Chapters: Process algebra book
From Bill Gardner at Fri, 27 Apr 2007 21:26:08 +0100
- Automatic refinement-checking of CSP processes with infinite state-spaces
From Allan McInnes at Mon, 23 Apr 2007 08:21:22 +0100
- FCS'07 special session: call for papers
From Marc L. Smith at Fri, 09 Mar 2007 05:21:50 +0000
- Revised email address
From Michael Poole at Sat, 03 Mar 2007 14:42:54 +0000
- Re: Concurrent programming coming to JavaScript
From Anne van Rossum at Mon, 26 Feb 2007 08:44:06 +0000
- Re: Concurrent programming coming to JavaScript
From Allan McInnes at Sat, 24 Feb 2007 23:08:19 +0000
- Re: Concurrent programming coming to JavaScript
From Marc L . Smith at Sat, 24 Feb 2007 20:32:18 +0000
- Re: Concurrent programming coming to JavaScript
From Barry Cook at Fri, 23 Feb 2007 11:07:36 +0000
- Re: Concurrent programming coming to JavaScript
From Allan McInnes at Thu, 22 Feb 2007 03:22:18 +0000
- Concurrent programming coming to JavaScript
From Tom Locke at Wed, 21 Feb 2007 16:25:44 +0000
- RE: concurrency research "hot" again?
From tjoccam at Thu, 15 Feb 2007 19:38:43 +0000
- RE: concurrency research "hot" again?
From Tony Gore at Thu, 15 Feb 2007 14:37:35 +0000
- Re: concurrency research "hot" again?
From Stephen Maudsley at Thu, 15 Feb 2007 09:16:15 +0000
- Re: concurrency research "hot" again?
From Stephen Maudsley at Thu, 15 Feb 2007 08:40:32 +0000
- RE: concurrency research "hot" again?
From Eric Verhulst at Thu, 15 Feb 2007 08:38:53 +0000
- Re: concurrency research "hot" again?
From Matthew Jadud at Thu, 15 Feb 2007 08:33:02 +0000
- Re: concurrency research "hot" again?
From Stephen Maudsley at Thu, 15 Feb 2007 08:26:59 +0000
- RE: concurrency research "hot" again?
From Anne van Rossum at Thu, 15 Feb 2007 08:18:53 +0000
- RE: concurrency research "hot" again?
From Andrew Delin at Thu, 15 Feb 2007 05:03:56 +0000
- RE: concurrency research "hot" again?
From Andrzej Lewandowski at Thu, 15 Feb 2007 01:42:15 +0000
- RE: concurrency research "hot" again?
From tjoccam at Wed, 14 Feb 2007 20:01:04 +0000
- RE: concurrency research "hot" again?
From Andrew Delin at Wed, 14 Feb 2007 05:02:40 +0000
- concurrency research "hot" again?
From Allan McInnes at Wed, 14 Feb 2007 02:58:07 +0000
- CPA 2007 - Final Call for papers
From P.H.Welch at Mon, 12 Feb 2007 21:38:25 +0000
- RE: protocol standards that use formal specification of behavior?
From P.H.Welch at Mon, 29 Jan 2007 11:48:57 +0000
- RE: protocol standards that use formal specification of behavior?
From tjoccam at Mon, 29 Jan 2007 00:11:20 +0000
- RE: protocol standards that use formal specification of behavior?
From Eric Verhulst at Sat, 27 Jan 2007 17:23:22 +0000
- Re: protocol standards that use formal specification of behavior?
From Allan McInnes at Wed, 24 Jan 2007 05:33:39 +0000
- Re: protocol standards that use formal specification of behavior?
From Alan Grover at Wed, 24 Jan 2007 00:19:32 +0000
- Re: protocol standards that use formal specification of behavior?
From Allan McInnes at Tue, 23 Jan 2007 05:03:19 +0000
- protocol standards that use formal specification of behavior?
From Alan Grover at Mon, 22 Jan 2007 22:41:11 +0000
- 2nd CFP: CPA2007, and invited speaker announcement
From A.Mcewan at Mon, 22 Jan 2007 15:26:40 +0000
- CPA2007 Document Template
From Chalmers, Kevin at Fri, 19 Jan 2007 16:44:09 +0000
- Wishes for the workers anno 2007
From Eric Verhulst at Tue, 02 Jan 2007 13:47:45 +0000
- Re: Inline VALOF
From oyvind . teig at Fri, 15 Dec 2006 19:12:59 +0000
- Keypad
From Ian East at Thu, 14 Dec 2006 23:14:20 +0000
- Re: Inline VALOF
From A.E.Lawrence at Thu, 14 Dec 2006 18:54:58 +0000
- Re: Inline VALOF
From A.E.Lawrence at Thu, 14 Dec 2006 18:46:28 +0000
- Re: Inline VALOF
From Barry Cook at Thu, 14 Dec 2006 18:44:27 +0000
- RE: folding in editors
From Tony Gore at Thu, 14 Dec 2006 18:07:55 +0000
- Re: Inline VALOF
From Barry Cook at Thu, 14 Dec 2006 17:52:57 +0000
- Re: Inline VALOF
From Ian East at Thu, 14 Dec 2006 17:24:56 +0000
- Re: Inline VALOF
From Barry Cook at Thu, 14 Dec 2006 16:50:15 +0000
- Re: Inline VALOF
From D.C.Wood at Thu, 14 Dec 2006 13:17:29 +0000
- Re: Inline VALOF
From P.H.Welch at Thu, 14 Dec 2006 13:02:50 +0000
- Re: Inline VALOF
From D.C.Wood at Thu, 14 Dec 2006 12:26:21 +0000
- Re: Inline VALOF
From P.H.Welch at Thu, 14 Dec 2006 11:57:14 +0000
- Re: Inline VALOF
From D.C.Wood at Thu, 14 Dec 2006 09:33:01 +0000
- Re: Inline VALOF
From Denis A Nicole at Thu, 14 Dec 2006 06:26:54 +0000
- Re: Inline VALOF
From Barry Cook at Wed, 13 Dec 2006 20:43:47 +0000
- Re: Inline VALOF
From P.H.Welch at Wed, 13 Dec 2006 19:05:46 +0000
- Re: Inline VALOF
From Barry Cook at Wed, 13 Dec 2006 16:09:31 +0000
- Re: Inline VALOF
From A.E.Lawrence at Wed, 13 Dec 2006 15:36:35 +0000
- Re: Inline VALOF
From A.E.Lawrence at Wed, 13 Dec 2006 15:32:41 +0000
- Re: Inline VALOF
From Barry Cook at Wed, 13 Dec 2006 15:05:49 +0000
- Re: Inline VALOF
From A.E.Lawrence at Wed, 13 Dec 2006 13:06:28 +0000
- Re: Inline VALOF
From Denis A Nicole at Wed, 13 Dec 2006 01:27:57 +0000
- Re: Inline VALOF
From Adam Sampson at Wed, 13 Dec 2006 00:09:17 +0000
- Inline VALOF
From Adam Sampson at Tue, 12 Dec 2006 17:45:14 +0000
- RE: Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux)
From tjoccam at Fri, 08 Dec 2006 00:44:00 +0000
- CFP: CPA2007
From A.Mcewan at Thu, 07 Dec 2006 13:12:19 +0000
- RE: Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux)
From Andrzej Lewandowski at Wed, 06 Dec 2006 21:16:21 +0000
- Re: Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux)
From Stephen Maudsley at Tue, 05 Dec 2006 09:19:08 +0000
- RE: Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux)
From tjoccam at Sat, 02 Dec 2006 00:13:20 +0000
- Re: Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux)
From Espen Suenson at Thu, 30 Nov 2006 17:18:41 +0000
- Re: Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux)
From Damian Dimmich at Thu, 30 Nov 2006 12:12:02 +0000
- RE: Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux)
From oyvind . teig at Thu, 30 Nov 2006 07:56:42 +0000
- Occam counted array :: descheduling points
From oyvind . teig at Thu, 30 Nov 2006 07:51:12 +0000
- Re: Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux)
From tjoccam at Wed, 29 Nov 2006 17:08:23 +0000
- Re: Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux)
From Neil Brown at Wed, 29 Nov 2006 16:53:27 +0000
- Re: Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux)
From Barry Cook at Wed, 29 Nov 2006 16:47:48 +0000
- Re: Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux)
From Barry Cook at Wed, 29 Nov 2006 16:40:23 +0000
- RE: Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux)
From Chalmers, Kevin at Wed, 29 Nov 2006 15:47:26 +0000
- Re: Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux)
From Damian Dimmich at Wed, 29 Nov 2006 15:45:37 +0000
- RE: Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux)
From Tony Gore at Wed, 29 Nov 2006 15:44:55 +0000
- Re: Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux)
From tjoccam at Wed, 29 Nov 2006 15:39:04 +0000
- Re: Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux)
From Barry Cook at Wed, 29 Nov 2006 15:38:29 +0000
- Re: Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux)
From Damian Dimmich at Wed, 29 Nov 2006 12:35:45 +0000
- RE: Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux)
From Tony Gore at Wed, 29 Nov 2006 12:35:01 +0000
- Re: Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux)
From Barry Cook at Wed, 29 Nov 2006 11:40:37 +0000
- RE: Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux)
From Chalmers, Kevin at Wed, 29 Nov 2006 10:56:01 +0000
- Re: Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux)
From Matt Jadud at Wed, 29 Nov 2006 08:10:58 +0000
- Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux)
From Andrew Delin at Tue, 28 Nov 2006 23:55:02 +0000
- CPA 2001 Proceedings
From Chalmers, Kevin at Mon, 27 Nov 2006 14:59:49 +0000
- Re: JCSP Network Edition windows installer doesn't work
From Mario Schweigler at Wed, 22 Nov 2006 21:16:24 +0000
- JCSP Network Edition windows installer doesn't work
From Andrzej Lewandowski at Wed, 22 Nov 2006 15:11:59 +0000
- jcsp.mobile
From Chalmers, Kevin at Tue, 17 Oct 2006 13:09:30 +0100
- RE: 2007
From A.Mcewan at Mon, 16 Oct 2006 11:18:37 +0100
- 2007
From Barry Cook at Mon, 16 Oct 2006 10:56:16 +0100
- Wotug.org Maintenance Tue 10th Oct
From Ruth Ivimey-Cook at Sun, 08 Oct 2006 21:58:46 +0100
- CPA 2006 (afterwards)
From P.H.Welch at Sun, 24 Sep 2006 22:47:05 +0100
- Re: waking up processes on external input
From tjoccam at Sun, 24 Sep 2006 21:59:17 +0100
- Re: waking up processes on external input
From Paul Walker at Sun, 24 Sep 2006 21:05:07 +0100
- Re: waking up processes on external input
From P.H.Welch at Sun, 24 Sep 2006 19:53:02 +0100
- Re: waking up processes on external input
From Barry Cook at Sun, 24 Sep 2006 16:26:35 +0100
- waking up processes on external input
From Richard Tonge at Sun, 24 Sep 2006 08:25:26 +0100
- Calls for Papers
From Kevin Chalmers at Sun, 24 Sep 2006 00:04:12 +0100
- Re: Jokes
From Denis A Nicole at Fri, 22 Sep 2006 11:16:22 +0100
- Jokes
From Ruth Ivimey-Cook at Thu, 21 Sep 2006 22:39:12 +0100
- "Transputer"
From Barry Cook at Thu, 21 Sep 2006 12:58:45 +0100
- Re: Yet another article on the need for better parallel.
From tjoccam at Sun, 17 Sep 2006 15:46:51 +0100
- RE: Yet another article on the need for better parallel.
From Tony Gore at Sun, 17 Sep 2006 11:34:24 +0100
- Yet another article on the need for better parallel.
From Kevin Chalmers at Sun, 17 Sep 2006 03:19:00 +0100
- CPA 2006 Fringe Programme
From P.H.Welch at Fri, 15 Sep 2006 14:00:05 +0100
- For CPA authors especially: Call for CPA2006 CD-ROM Contents
From Ruth Ivimey-Cook at Fri, 08 Sep 2006 22:35:05 +0100
- RE: TechEd 2006 -- "parallelism is the new OO"
From Ruth Ivimey-Cook at Wed, 06 Sep 2006 22:44:28 +0100
- RE: TechEd 2006 -- "parallelism is the new OO"
From Chalmers, Kevin at Sat, 02 Sep 2006 21:26:35 +0100
- RE: TechEd 2006 -- "parallelism is the new OO"
From Denis A Nicole at Sat, 02 Sep 2006 20:04:21 +0100
- RE: TechEd 2006 -- "parallelism is the new OO"
From P.H.Welch at Sat, 02 Sep 2006 18:34:06 +0100
- Re: TechEd 2006 -- "parallelism is the new OO"
From tjoccam at Sat, 02 Sep 2006 00:29:29 +0100
- RE: TechEd 2006 -- "parallelism is the new OO": JCSP vs KRoC...
From Eric Verhulst at Fri, 01 Sep 2006 20:49:23 +0100
- Re: TechEd 2006 -- "parallelism is the new OO": JCSP vs KRoC...
From Dyke Stiles at Fri, 01 Sep 2006 20:19:57 +0100
- RE: TechEd 2006 -- "parallelism is the new OO"
From Chalmers, Kevin at Fri, 01 Sep 2006 15:12:28 +0100
- RE: TechEd 2006 -- "parallelism is the new OO"
From neil at Fri, 01 Sep 2006 14:57:08 +0100
- RE: TechEd 2006 -- "parallelism is the new OO"
From Chalmers, Kevin at Fri, 01 Sep 2006 14:43:03 +0100
- RE: TechEd 2006 -- "parallelism is the new OO"
From neil at Fri, 01 Sep 2006 13:52:58 +0100
- RE: TechEd 2006 -- "parallelism is the new OO"
From Chalmers, Kevin at Fri, 01 Sep 2006 13:18:32 +0100
- TechEd 2006 -- "parallelism is the new OO"
From Andrew Delin at Fri, 01 Sep 2006 03:30:31 +0100
- RE: occam REPL
From Eric Verhulst at Tue, 22 Aug 2006 22:35:31 +0100
- Re: Parallax Propeller processor
From tjoccam at Tue, 22 Aug 2006 19:00:05 +0100
- Parallax Propeller processor
From Adam Sampson at Tue, 22 Aug 2006 00:30:16 +0100
- Open License Society reinvents RTOS
From Eric Verhulst at Mon, 21 Aug 2006 23:24:41 +0100
- RE: occam REPL
From tjoccam at Mon, 21 Aug 2006 18:15:05 +0100
- RE: occam REPL
From tjoccam at Mon, 21 Aug 2006 00:01:32 +0100
- RE: occam REPL
From Eric Verhulst at Sun, 20 Aug 2006 22:05:47 +0100
- RE: occam REPL
From P.H.Welch at Sun, 20 Aug 2006 21:15:53 +0100
- RA position in concurrent OS development at Kent
From Fred Barnes at Sun, 20 Aug 2006 16:02:49 +0100
- RE: occam REPL
From Andrew Delin at Sun, 20 Aug 2006 03:32:02 +0100
- Re: occam REPL
From Marc L. Smith at Sat, 19 Aug 2006 21:16:20 +0100
- Re: occam REPL
From Matt Jadud at Sat, 19 Aug 2006 18:47:41 +0100
- Re: CPA 2006: Fringe programme
From P.H.Welch at Sat, 19 Aug 2006 18:18:40 +0100
- Re: occam REPL
From Marc L. Smith at Sat, 19 Aug 2006 17:02:23 +0100
- CPA 2006: Fringe programme
From P.H.Welch at Sat, 19 Aug 2006 16:56:23 +0100
- CPA 2006: call-for-participants
From P.H.Welch at Sat, 19 Aug 2006 16:43:18 +0100
- Re: occam REPL
From tjoccam at Sat, 19 Aug 2006 16:12:15 +0100
- Re: occam REPL
From Damian Dimmich at Sat, 19 Aug 2006 12:19:45 +0100
- Re: occam REPL
From tjoccam at Sat, 19 Aug 2006 06:46:29 +0100
- Re: occam REPL
From Allan McInnes at Sat, 19 Aug 2006 05:34:52 +0100
- Re: occam REPL
From Kevin Chalmers at Thu, 17 Aug 2006 20:50:26 +0100
- occam REPL (was: RE: [Fwd: Re: my web site (fwd)])
From tjoccam at Thu, 17 Aug 2006 20:27:03 +0100
- RE: [Fwd: Re: my web site (fwd)]
From Chalmers, Kevin at Thu, 17 Aug 2006 19:09:23 +0100
- [Fwd: Re: my web site (fwd)]
From Matt Jadud at Thu, 17 Aug 2006 15:01:33 +0100
- Re: my web site
From tjoccam at Sun, 13 Aug 2006 03:33:58 +0100
- Re: my web site
From Allan McInnes at Sat, 12 Aug 2006 22:42:34 +0100
- Re: my web site
From tjoccam at Sat, 12 Aug 2006 20:54:29 +0100
- Re: my web site (was: RE: Occam and the parallel Playstation)
From tjoccam at Sat, 12 Aug 2006 18:50:17 +0100
- Re: my web site (was: RE: Occam and the parallel Playstation)
From Ian East at Sat, 12 Aug 2006 17:37:50 +0100
- my web site (was: RE: Occam and the parallel Playstation)
From tjoccam at Sat, 12 Aug 2006 03:25:05 +0100
- RE: Occam and the parallel Playstation
From tjoccam at Tue, 08 Aug 2006 22:24:59 +0100
- RE: Occam and the parallel Playstation
From tjoccam at Thu, 03 Aug 2006 17:49:52 +0100
- RE: Occam and the parallel Playstation
From D.J.Dimmich at Thu, 03 Aug 2006 15:50:06 +0100
- RE: Occam and the parallel Playstation
From Chalmers, Kevin at Thu, 03 Aug 2006 12:07:45 +0100
- Occam and the parallel Playstation
From Andrew Delin at Thu, 03 Aug 2006 07:53:56 +0100
- Fwd: BCS FACS Teaching Formal Methods Workshop - call for participation
From Ian East at Thu, 27 Jul 2006 20:11:06 +0100
- MS DSL designers
From Alan Grover at Fri, 21 Jul 2006 11:29:20 +0100
- Why does old check work better?
From tjoccam at Sat, 15 Jul 2006 16:53:46 +0100
- Re: Intel: timely article
From tjoccam at Mon, 10 Jul 2006 20:10:26 +0100
- Re: Intel: timely article
From Fred Barnes at Mon, 10 Jul 2006 19:59:15 +0100
- Re: Intel: timely article
From A.E.Lawrence at Mon, 10 Jul 2006 18:43:49 +0100
- Re: Intel: timely article
From A.E.Lawrence at Mon, 10 Jul 2006 18:31:42 +0100
- Re: Intel: timely article
From Ian East at Mon, 10 Jul 2006 17:52:46 +0100
- Re: Intel: timely article
From Ian East at Tue, 27 Jun 2006 23:48:43 +0100
- RE: Intel: timely article
From tjoccam at Tue, 27 Jun 2006 20:03:42 +0100
- Re: Is OO a deliberate fraud?
From Mario Schweigler at Mon, 26 Jun 2006 21:18:41 +0100
- Re: Is OO a deliberate fraud?
From Mario Schweigler at Mon, 26 Jun 2006 20:29:39 +0100
- RE: Is OO a deliberate fraud?
From tjoccam at Mon, 26 Jun 2006 19:28:32 +0100
- RE: Is OO a deliberate fraud?
From Ruth Ivimey-Cook at Mon, 26 Jun 2006 18:30:33 +0100
- RE: Is OO a deliberate fraud?
From Ruth Ivimey-Cook at Mon, 26 Jun 2006 18:30:31 +0100
- RE: Is OO a deliberate fraud?
From tjoccam at Mon, 26 Jun 2006 00:51:50 +0100
- RE: Is OO a deliberate fraud?
From Ruth Ivimey-Cook at Sun, 25 Jun 2006 23:47:12 +0100
- RE: Is OO a deliberate fraud?
From Allan McInnes at Sun, 25 Jun 2006 19:55:00 +0100
- RE: Is OO a deliberate fraud?
From tjoccam at Sun, 25 Jun 2006 16:27:19 +0100
- RE: Is OO a deliberate fraud?
From Ruth Ivimey-Cook at Sun, 25 Jun 2006 14:45:05 +0100
- RE: Is OO a deliberate fraud?
From tjoccam at Sat, 24 Jun 2006 22:14:45 +0100
- RE: Is OO a deliberate fraud?
From Eric Verhulst at Sat, 24 Jun 2006 00:06:01 +0100
- Re: Is OO a deliberate fraud?
From tjoccam at Fri, 23 Jun 2006 21:33:16 +0100
- Re: Is OO a deliberate fraud?
From F.R.M.Barnes at Fri, 23 Jun 2006 18:06:35 +0100
- Re: RAE / conferences
From Ian East at Tue, 20 Jun 2006 17:38:31 +0100
- RE: RAE / conferences
From neil at Tue, 20 Jun 2006 16:01:59 +0100
- Re: RAE / conferences
From tjoccam at Tue, 20 Jun 2006 15:40:25 +0100
- Re: RAE / conferences
From Ian East at Mon, 19 Jun 2006 17:44:47 +0100
- RE: AW: The world needs process-orientation
From tjoccam at Thu, 15 Jun 2006 23:12:15 +0100
- RE: AW: The world needs process-orientation
From Eric Verhulst at Thu, 15 Jun 2006 20:48:05 +0100
- RE: AW: The world needs process-orientation
From tjoccam at Thu, 15 Jun 2006 19:05:49 +0100
- RE: AW: The world needs process-orientation
From Kerridge, Jon at Thu, 15 Jun 2006 12:11:29 +0100
- RE: AW: The world needs process-orientation
From Tony Gore at Wed, 14 Jun 2006 18:44:05 +0100
- Re: AW: The world needs process-orientation
From tjoccam at Wed, 14 Jun 2006 15:24:59 +0100
- AW: The world needs process-orientation
From Koehne Kai at Wed, 14 Jun 2006 09:53:48 +0100
- Re: The world needs process-orientation
From Lawrence Dickson at Tue, 13 Jun 2006 21:11:05 +0100
- RE: The world needs process-orientation
From Eric Verhulst at Tue, 13 Jun 2006 10:35:08 +0100
- Re: The world needs process-orientation
From Koehne Kai at Tue, 13 Jun 2006 08:43:44 +0100
- RE: The world needs process-orientation
From Andrew Delin at Tue, 13 Jun 2006 03:04:52 +0100
- RE: The world needs process-orientation
From Allan McInnes at Mon, 12 Jun 2006 17:51:57 +0100
- occam-pi.org and mailing list archives
From Adam Sampson at Mon, 12 Jun 2006 17:06:09 +0100
- RE: The world needs process-orientation
From tjoccam at Mon, 12 Jun 2006 15:40:54 +0100
- Re: MS HPC: You heard it first at WOTUG
From tjoccam at Mon, 12 Jun 2006 02:22:05 +0100
- MS HPC: You heard it first at WOTUG
From Denis A Nicole at Mon, 12 Jun 2006 01:19:30 +0100
- RE: The world needs process-orientation
From tjoccam at Sun, 11 Jun 2006 22:50:46 +0100
- Re: The world needs process-orientation
From Allan McInnes at Sun, 11 Jun 2006 01:52:08 +0100
- RE: The world needs process-orientation
From tjoccam at Sat, 10 Jun 2006 17:04:45 +0100
- RE: The world needs process-orientation
From neil at Sat, 10 Jun 2006 16:56:20 +0100
- RE: The world needs process-orientation
From neil at Sat, 10 Jun 2006 10:31:27 +0100
- Re: The world needs process-orientation
From tjoccam at Fri, 09 Jun 2006 21:25:38 +0100
- Re: CPA 2006 - Call for Papers
From A.E.Lawrence at Fri, 09 Jun 2006 15:24:55 +0100
- Re: CPA 2006 - Call for Papers
From Denis A Nicole at Fri, 09 Jun 2006 12:31:52 +0100
- The world needs process-orientation
From neil at Fri, 09 Jun 2006 10:10:49 +0100
- Re: Is OO a deliberate fraud?
From Jim Davies at Fri, 09 Jun 2006 09:49:53 +0100
- RE: Is OO a deliberate fraud?
From tjoccam at Fri, 09 Jun 2006 00:02:19 +0100
- RE: Is OO a deliberate fraud?
From Allan McInnes at Thu, 08 Jun 2006 17:13:34 +0100
- Re: Is OO a deliberate fraud?
From Jim Davies at Thu, 08 Jun 2006 09:34:46 +0100
- RE: Is OO a deliberate fraud?
From neil at Thu, 08 Jun 2006 09:16:19 +0100
- RE: Is OO a deliberate fraud?
From Andrew Delin at Thu, 08 Jun 2006 05:36:53 +0100
- RE: Is OO a deliberate fraud?
From Eric Verhulst at Wed, 07 Jun 2006 20:02:56 +0100
- Is OO a deliberate fraud?
From tjoccam at Wed, 07 Jun 2006 19:13:47 +0100
- CPA 2006 - Call for Papers
From Ruth Ivimey-Cook at Tue, 23 May 2006 22:34:33 +0100
- CPA 2006 !
From P.H.Welch at Thu, 18 May 2006 13:58:06 +0100
- CPA 2006 - Call for Papers!
From P.H.Welch at Wed, 17 May 2006 15:56:16 +0100
- Re: CSP/Occam Demo Cases
From Denis A Nicole at Wed, 17 May 2006 11:16:39 +0100
- RE: CSP/Occam Demo Cases
From Andrew Delin at Wed, 17 May 2006 02:27:01 +0100
- RE: CSP/Occam Demo Cases
From Eric Verhulst at Tue, 16 May 2006 20:25:04 +0100
- Re: CSP/Occam Demo Cases
From tjoccam at Tue, 16 May 2006 19:39:42 +0100
- CSP/Occam Demo Cases
From Koehne Kai at Tue, 16 May 2006 13:02:14 +0100
- RE: CSP Benefits Wrap-up
From Ruth Ivimey-Cook at Thu, 13 Apr 2006 11:35:03 +0100
- CPA 2006, Napier University, Edinburgh, Scotland
From P.H.Welch at Wed, 12 Apr 2006 16:25:41 +0100
- Dusty B008 (was: Re: Dusty TRAMs sought)
From tjoccam at Sun, 26 Mar 2006 17:11:36 +0100
- AW: Process Placement in Occam 2.1 / INMOS Occam test suite
From Koehne Kai at Tue, 14 Mar 2006 17:24:35 +0000
- RE: Process Placement in Occam 2.1 / INMOS Occam test suite
From tjoccam at Tue, 14 Mar 2006 16:38:54 +0000
- RE: Process Placement in Occam 2.1 / INMOS Occam test suite
From Koehne Kai at Mon, 13 Mar 2006 13:00:40 +0000
- Re: Process Placement in Occam 2.1
From tjoccam at Sat, 11 Mar 2006 17:07:00 +0000
- Re: Process Placement in Occam 2.1
From Michael Goldsmith at Sat, 11 Mar 2006 15:31:29 +0000
- Process Placement in Occam 2.1
From Koehne Kai at Sat, 11 Mar 2006 14:27:11 +0000
- Dusty TRAMs sought
From tjoccam at Wed, 08 Mar 2006 18:12:06 +0000
- Elegant ending of processes
From Neil Brown at Thu, 02 Mar 2006 18:31:32 +0000
- WoTUG Website: All Change??
From Ruth Ivimey-Cook at Thu, 02 Mar 2006 17:19:15 +0000
- RE: Need for Article "The laws of Occam programming"
From Denis A Nicole at Tue, 10 Jan 2006 14:17:24 +0000
- RE: Need for Article "The laws of Occam programming"
From Ruth Ivimey-Cook at Mon, 09 Jan 2006 22:06:19 +0000
- CPA2005 Papers Database Entries
From Ruth Ivimey-Cook at Mon, 09 Jan 2006 16:43:59 +0000
- Re: Need for Article "The laws of Occam programming"
From A.E.Lawrence at Fri, 06 Jan 2006 13:54:03 +0000
- Re: Need for Article "The laws of Occam programming"
From Alastair Allen at Fri, 06 Jan 2006 11:44:29 +0000
- Re: Need for Article "The laws of Occam programming"
From oyvind . teig at Fri, 06 Jan 2006 11:34:41 +0000
- Need for Article "The laws of Occam programming"
From Koehne Kai at Fri, 06 Jan 2006 10:10:58 +0000
- RE: JCSP Advice anyone?
From Ruth Ivimey-Cook at Tue, 20 Dec 2005 16:41:20 +0000
- RE: JCSP Advice anyone?
From Ruth Ivimey-Cook at Tue, 20 Dec 2005 16:33:13 +0000
- Re: JCSP Advice anyone?
From Jim Moores at Mon, 19 Dec 2005 19:31:23 +0000
- Re: JCSP Advice anyone?
From Bernhard Sputh at Fri, 16 Dec 2005 09:30:24 +0000
- JCSP Assistance ?
From Ruth Ivimey-Cook at Thu, 15 Dec 2005 18:33:23 +0000
- JCSP Advice anyone?
From Ruth Ivimey-Cook at Thu, 15 Dec 2005 17:42:11 +0000
- Re: commstime not scaling
From Alan Grover at Mon, 28 Nov 2005 19:00:11 +0000
- RE: commstime not scaling
From Ruth Ivimey-Cook at Sun, 27 Nov 2005 23:32:08 +0000
- Re: commstime not scaling
From Alan Grover at Sat, 26 Nov 2005 19:50:20 +0000
- Re: commstime not scaling
From Fred Barnes at Fri, 25 Nov 2005 18:41:12 +0000
- commstime not scaling
From Alan Grover at Fri, 25 Nov 2005 15:02:03 +0000
- RE: A Hardware Question
From Ruth Ivimey-Cook at Mon, 21 Nov 2005 12:17:46 +0000
- RE: A Hardware Question
From Eric Verhulst (OLS) at Tue, 15 Nov 2005 18:16:06 +0000
- JMLC 2006, Oxford
From Ian East at Tue, 15 Nov 2005 15:51:39 +0000
- C. A. R. Hoares influence at MS-Research?
From Bernhard Sputh at Mon, 07 Nov 2005 16:28:21 +0000
- RE: Benefits of CSP Based Programming Languages
From Ruth Ivimey-Cook at Fri, 04 Nov 2005 15:50:30 +0000
- Re: Benefits of CSP Based Programming Languages
From Fred Barnes at Thu, 03 Nov 2005 20:00:37 +0000
- RE: Benefits of CSP Based Programming Languages
From william . luitje at Thu, 03 Nov 2005 00:01:06 +0000
- RE: Benefits of CSP Based Programming Languages
From Broenink, J.F. (Jan) at Wed, 02 Nov 2005 23:20:51 +0000
- RE: Benefits of CSP Based Programming Languages
From Eric Verhulst (OLS) at Wed, 02 Nov 2005 19:37:49 +0000
- RE: Benefits of CSP Based Programming Languages
From neil at Wed, 02 Nov 2005 09:08:07 +0000
- Benefits of CSP Based Programming Languages
From william . luitje at Tue, 01 Nov 2005 23:32:55 +0000
- AW: amsterdam compiler kit
From Koehne Kai at Sat, 29 Oct 2005 17:45:01 +0100
- Re: amsterdam compiler kit
From Fred Barnes at Thu, 27 Oct 2005 23:53:14 +0100
- Re: amsterdam compiler kit
From Allan McInnes at Thu, 27 Oct 2005 23:39:53 +0100
- Re: amsterdam compiler kit
From Fred Barnes at Thu, 27 Oct 2005 23:17:01 +0100
- amsterdam compiler kit
From Allan McInnes at Thu, 27 Oct 2005 00:27:37 +0100
- Re: OO vs. CSP - Papers, Arguments?
From Alan Grover at Thu, 20 Oct 2005 13:00:14 +0100
- Re: OO vs. CSP - Papers, Arguments?
From Ian East at Thu, 20 Oct 2005 12:08:33 +0100
- Re: OO vs. CSP - Papers, Arguments?
From Alan Grover at Thu, 20 Oct 2005 03:25:25 +0100
- RE: OO vs. CSP - Papers, Arguments?
From Koehne Kai at Tue, 18 Oct 2005 09:22:27 +0100
- Re: OO vs. CSP - Papers, Arguments?
From F.R.M.Barnes at Thu, 13 Oct 2005 13:27:38 +0100
- RE: OO vs. CSP - Papers, Arguments?
From Stephen Maudsley at Wed, 12 Oct 2005 23:58:44 +0100
- RE: SystemC as concurrent process language
From Tony Gore at Thu, 06 Oct 2005 08:53:34 +0100
- SystemC as concurrent process language
From Campbell, John at Wed, 05 Oct 2005 17:48:34 +0100
- RE: OO vs. CSP - Papers, Arguments?
From Kerridge, Jon at Thu, 22 Sep 2005 16:29:25 +0100
- Re: Stackless Python
From Alan Grover at Thu, 22 Sep 2005 14:27:41 +0100
- RE: OO vs. CSP - Papers, Arguments?
From Gerald Hilderink at Thu, 22 Sep 2005 13:06:12 +0100
- RE: OO vs. CSP - Papers, Arguments?
From neil at Thu, 22 Sep 2005 11:04:25 +0100
- RE: OO vs. CSP - Papers, Arguments?
From Andrzej Lewandowski at Thu, 22 Sep 2005 10:53:03 +0100
- Re: OO vs. CSP - Papers, Arguments?
From Tom Locke at Thu, 22 Sep 2005 09:55:40 +0100
- RE: OO vs. CSP - Papers, Arguments?
From Eric Verhulst (OLS) at Thu, 22 Sep 2005 09:33:20 +0100
- Re: OO vs. CSP - Papers, Arguments?
From Allan McInnes at Wed, 21 Sep 2005 17:48:22 +0100
- RE: OO vs. CSP - Papers, Arguments?
From Campbell, John at Wed, 21 Sep 2005 17:33:32 +0100
- RE: OO vs. CSP - Papers, Arguments?
From neil at Wed, 21 Sep 2005 11:34:32 +0100
- RE: OO vs. CSP - Papers, Arguments?
From Tony Gore at Wed, 21 Sep 2005 10:21:16 +0100
- OO vs. CSP - Papers, Arguments?
From Koehne Kai at Wed, 21 Sep 2005 09:48:17 +0100
- Re: Stackless Python
From Tom Locke at Tue, 20 Sep 2005 12:12:01 +0100
- Stackless Python
From neil at Tue, 20 Sep 2005 11:44:36 +0100
- For CPA authors especially: Call for CPA2005 CD-ROM Contents
From Ruth Ivimey-Cook at Tue, 13 Sep 2005 19:47:26 +0100
- Re: Flow based programming
From Ian East at Mon, 12 Sep 2005 22:40:08 +0100
- Re: Flow based programming
From Ian East at Mon, 12 Sep 2005 17:48:32 +0100
- Flow based programming
From Tom Locke at Mon, 12 Sep 2005 16:52:56 +0100
- Re: CPA 2005 - last call & the Fringe
From Neil Brown at Tue, 30 Aug 2005 23:44:35 +0100
- CPA 2005 - last call & the Fringe
From P.H.Welch at Tue, 30 Aug 2005 18:04:15 +0100
- Call for Delegates Communicating Process Architectures 2005 at Eindhoven
From Herman Roebbers at Sat, 13 Aug 2005 11:19:14 +0100
- KRoC development mailing list
From Fred Barnes at Sun, 24 Jul 2005 04:40:30 +0100
- Job Advert: contractor with .NET and CSP experience
From Ruth Ivimey-Cook at Thu, 14 Jul 2005 12:56:31 +0100
- CSP for Java Programmers
From Allan McInnes at Tue, 12 Jul 2005 17:10:05 +0100
- Cell processor
From neil at Fri, 10 Jun 2005 11:00:36 +0100
- Cell specs opened up
From Neil Brown at Tue, 24 May 2005 21:06:00 +0100
- Optimisation algorithms
From Ruth Ivimey-Cook at Fri, 13 May 2005 16:50:48 +0100
- RE: RE: STREP FP6 proposal
From Tony Gore at Thu, 12 May 2005 13:00:56 +0100
- RE: RE: STREP FP6 proposal
From Ruth Ivimey-Cook at Thu, 12 May 2005 11:19:21 +0100
- Re: .NET/Threads help request
From Neil Brown at Wed, 11 May 2005 23:03:54 +0100
- RE: STREP FP6 proposal
From Ruth Ivimey-Cook at Wed, 11 May 2005 22:50:33 +0100
- STREP FP6 proposal
From Eric Verhulst (OLS) at Wed, 11 May 2005 21:47:24 +0100
- Re: .NET/Threads help request
From P.H.Welch at Wed, 11 May 2005 17:45:25 +0100
- .NET/Threads help request
From Ruth Ivimey-Cook at Wed, 11 May 2005 16:40:20 +0100
- Bigraphical Programming Languages (BPL)
From Tom Locke at Tue, 12 Apr 2005 03:50:02 +0100
- RE: CELL processors again...
From Eric Verhulst OLS at Tue, 15 Mar 2005 21:07:05 +0000
- RE: CELL processors again...
From Allan McInnes at Tue, 15 Mar 2005 19:42:51 +0000
- RE: CELL processors again...
From Eric Verhulst OLS at Tue, 15 Mar 2005 18:29:54 +0000
- Re: CELL processors again...
From P.H.Welch at Tue, 15 Mar 2005 17:32:32 +0000
- CELL processors again...
From Ruth Ivimey-Cook at Tue, 15 Mar 2005 16:58:21 +0000
- Re: lightweight coroutines in C (take 2)
From Allan McInnes at Sun, 13 Mar 2005 20:26:15 +0000
- RE: lightweight coroutines in C (take 2)
From Eric Verhulst OLS at Sun, 13 Mar 2005 19:31:48 +0000
- Re: lightweight coroutines in C (take 2)
From Tom Locke at Sun, 13 Mar 2005 04:34:38 +0000
- lightweight coroutines in C (take 2)
From Allan McInnes at Sat, 12 Mar 2005 21:44:37 +0000
- [no subject]
From Allan McInnes at Fri, 11 Mar 2005 17:21:07 +0000
- RE: CELL processors considered interesting?
From O'Neill, Brian at Thu, 03 Mar 2005 14:10:36 +0000
- CfP Communicating Process Architectures 2005
From Herman Roebbers at Sat, 26 Feb 2005 20:33:00 +0000
- RE: CELL processors considered interesting?
From Eric Verhulst OLS at Fri, 18 Feb 2005 15:27:53 +0000
- RE: CELL processors considered interesting?
From Jim Moores at Fri, 18 Feb 2005 11:07:03 +0000
- Re: CELL processors considered interesting?
From Ruth Ivimey-Cook at Fri, 18 Feb 2005 09:38:33 +0000
- Re: CELL processors considered interesting?
From Tom Locke at Fri, 18 Feb 2005 05:52:43 +0000
- RE: CELL processors considered interesting?
From Eric Verhulst OLS at Thu, 17 Feb 2005 19:25:42 +0000
- Working with CSP and Java
From Kinika Tasie-Amadi at Thu, 13 Jan 2005 19:48:20 +0000
- Wotug.org popularity on the increase!
From Ruth Ivimey-Cook at Fri, 26 Nov 2004 15:11:52 +0000
- RE: BibTeX Updates on wotug.org
From Ruth Ivimey-Cook at Wed, 24 Nov 2004 00:58:24 +0000
- RE: BibTeX Updates on wotug.org
From Jim Moores at Thu, 18 Nov 2004 18:51:10 +0000
- BibTeX Updates on wotug.org
From Ruth Ivimey-Cook at Thu, 18 Nov 2004 17:23:13 +0000
- Change of email address
From IanPage99 at Sun, 12 Sep 2004 14:24:56 +0100
- Re: CPA 2004 programme and registration
From Beton, Richard at Fri, 03 Sep 2004 16:15:49 +0100
- PhD studentships available
From Alastair Allen at Tue, 31 Aug 2004 16:03:32 +0100
- [announce] KRoC/Linux 1.3.3 released!
From Fred Barnes at Wed, 11 Aug 2004 00:01:18 +0100
- Re: IMS D100 file format question
From Michael Poole at Wed, 04 Aug 2004 17:45:53 +0100
- IMS D100 file format question
From Denis A Nicole at Tue, 03 Aug 2004 20:53:59 +0100
- CPA 2004 programme and registration
From P.H.Welch at Tue, 03 Aug 2004 19:29:58 +0100
- Re: The future of SPoC
From A E Lawrence at Tue, 13 Jul 2004 19:03:36 +0100
- Re: CPA 2004 Registration
From Ian East at Wed, 07 Jul 2004 09:17:12 +0100
- CPA 2004 Registration
From Ian East at Tue, 06 Jul 2004 20:29:45 +0100
- More examples of how not to do things
From A E Lawrence at Sun, 06 Jun 2004 19:49:43 +0100
- Fold Presentation Manager (was RE: Printing occam)
From Philippe Lemaire at Thu, 03 Jun 2004 10:49:59 +0100
- Re: Printing occam
From Mario Schweigler at Wed, 02 Jun 2004 15:33:07 +0100
- Re: Printing occam
From C.L.Jacobsen at Wed, 02 Jun 2004 14:58:32 +0100
- Printing occam
From Philippe Lemaire at Wed, 02 Jun 2004 08:55:56 +0100
- CPA 2004 Call for Papers
From Ian East at Tue, 24 Feb 2004 12:14:46 +0000
- Wotug.org site down W/E 14/15 Feb for Maintenance
From Ruth Ivimey-Cook at Thu, 12 Feb 2004 13:50:34 +0000
- imsc011p-20s link adapter (fwd)
From Ruth Ivimey-Cook at Tue, 02 Dec 2003 07:24:42 +0000
- RE: Minutes of AGMs available
From Ruth Ivimey-Cook at Wed, 22 Oct 2003 14:11:25 +0100
- Minutes of AGMs available
From Ruth Ivimey-Cook at Tue, 21 Oct 2003 00:24:32 +0100
- Re: Massively parallel FPGA systems
From Dyke Stiles at Tue, 14 Oct 2003 13:51:33 +0100
- RE: Massively parallel FPGA systems
From Stephen Maudsley at Tue, 14 Oct 2003 11:56:19 +0100
- RE: Massively parallel FPGA systems
From Campbell, John at Tue, 14 Oct 2003 00:32:54 +0100
- Re: Sun JSR 166 - Concurrency Utilities
From P.H.Welch at Mon, 13 Oct 2003 20:03:46 +0100
- Re: Massively parallel FPGA systems
From Roger Peel at Mon, 13 Oct 2003 19:20:42 +0100
- RE: Massively parallel FPGA systems
From Tony Gore at Sat, 11 Oct 2003 09:27:51 +0100
- Re: Massively parallel FPGA systems
From Lawrence Dickson at Fri, 10 Oct 2003 23:15:51 +0100
- Teaching Formal Methods Workshop
From Ian East at Fri, 10 Oct 2003 11:25:57 +0100
- RE: Chess in occam?
From Tony Gore at Thu, 09 Oct 2003 15:01:02 +0100
- Chess in occam?
From A E Lawrence at Thu, 09 Oct 2003 12:55:04 +0100
- Re: Massively parallel FPGA systems
From A E Lawrence at Thu, 09 Oct 2003 08:35:51 +0100
- Re: Massively parallel FPGA systems
From Richard Loosemore at Thu, 09 Oct 2003 02:57:38 +0100
- Re: Massively parallel FPGA systems
From A E Lawrence at Wed, 08 Oct 2003 15:24:24 +0100
- Re: Perception of WoTUG and occam and transputers
From Lawrence Dickson at Fri, 03 Oct 2003 16:35:42 +0100
- Re: Perception of WoTUG and occam and transputers
From Beton, Richard at Fri, 03 Oct 2003 09:12:49 +0100
- Re: Perception of WoTUG and occam and transputers
From Mario Schweigler at Fri, 03 Oct 2003 05:54:27 +0100
- Perception of WoTUG and occam and transputers
From Ruth Ivimey-Cook at Fri, 03 Oct 2003 00:43:54 +0100
- Introducing Spin.
From A E Lawrence at Sat, 20 Sep 2003 12:04:52 +0100
- Re: CPA-2003 Tutorial on CSP available.
From A E Lawrence at Fri, 12 Sep 2003 18:38:56 +0100
- CSPP preprint
From A E Lawrence at Fri, 12 Sep 2003 16:24:03 +0100
- CPA-2003 Tutorial on CSP available.
From A E Lawrence at Thu, 11 Sep 2003 20:46:56 +0100
- RE: Missing characters in CPA-2003 paper
From Broenink, J.F. at Thu, 11 Sep 2003 16:03:35 +0100
- Re: New updates on paper db for WoTUG
From Alastair Allen at Fri, 20 Jun 2003 13:35:47 +0100
- New updates on paper db for WoTUG
From Ruth Ivimey-Cook at Fri, 20 Jun 2003 11:07:54 +0100
- Re: Why Events Are A Bad Idea (for High-concurrency Servers)
From P.H.Welch at Wed, 11 Jun 2003 13:10:59 +0100
- Re: Why Events Are A Bad Idea (for High-concurrency Servers)
From P.H.Welch at Tue, 10 Jun 2003 16:38:23 +0100
- Why Events Are A Bad Idea (for High-concurrency Servers)
From Beton, Richard at Tue, 10 Jun 2003 15:55:02 +0100
- occam-com Web Archives. Test list available.
From Ruth Ivimey-Cook at Tue, 20 May 2003 18:03:43 +0100
- Re: CPA2003: Are CD-ROMs of Papers wanted? Replies needed!
From Ruth Ivimey-Cook at Mon, 12 May 2003 00:24:16 +0100
- CPA2003: Are CD-ROMs of Papers wanted? Replies needed!
From Ruth Ivimey-Cook at Sun, 11 May 2003 21:36:04 +0100
- Notice: Ruth's SourceForge Debut
From Ruth Ivimey-Cook at Sun, 11 May 2003 21:33:45 +0100
- 2nd Call for Papers CPA conference, 7-10 Sept, Enschede Netherlan ds; Poster Available
From Broenink, J.F. at Fri, 09 May 2003 16:20:54 +0100
- Hamid's reaction on Website blues... fixed
From marcel . boosten at Tue, 22 Apr 2003 07:43:13 +0100
- Re: Website blues... fixed
From marcel . boosten at Fri, 18 Apr 2003 06:05:39 +0100
- Website blues... fixed
From Ruth Ivimey-Cook at Fri, 18 Apr 2003 01:02:52 +0100
- CACM - "Computation beyond Turing Machines"
From ianeast at Mon, 07 Apr 2003 17:09:54 +0100
- CSP book on-line
From P.H.Welch at Mon, 07 Apr 2003 16:41:35 +0100
- Call for Papers for CPA 2003 workshop on 7-10 sept 2003 in Enschede, Nehterlands
From CPA2003 at Thu, 20 Mar 2003 21:06:55 +0000
- Call for Papers for CPA 2003 workshop on 7-10 sept 2003 in Ensche de, Netherlands
From Broenink, J.F. at Thu, 20 Mar 2003 21:03:03 +0000
- Call for Papers for CPA 2003 workshop on 7-10 sept 2003 in Ensche de, Nehterlands
From Broenink, J.F. at Thu, 20 Mar 2003 20:53:40 +0000
- Re: the semantics of deckchairs
From A E Lawrence at Mon, 17 Mar 2003 16:05:30 +0000
- Paper about (T)ALT on top of FSM machine? (2)
From oyvind . teig at Mon, 17 Mar 2003 14:17:20 +0000
- Paper about (T)ALT on top of FSM machine?
From oyvind . teig at Mon, 17 Mar 2003 14:14:45 +0000
- RE: csp as database query language
From Stephen Maudsley at Mon, 17 Mar 2003 13:58:46 +0000
- the semantics of deckchairs
From Jim Davies at Mon, 17 Mar 2003 11:52:26 +0000
- Re: csp as database query language
From A E Lawrence at Mon, 17 Mar 2003 11:07:26 +0000
- Re: csp as database query language
From Gordon Hutchison at Mon, 17 Mar 2003 10:13:56 +0000
- RE: csp as database query language
From Tony Gore at Sun, 16 Mar 2003 10:58:45 +0000
- Re: csp as database query language
From A E Lawrence at Sat, 15 Mar 2003 14:24:13 +0000
- RE: csp as database query language
From Stephen Maudsley at Sat, 15 Mar 2003 06:57:16 +0000
- csp as database query language
From Campbell, John at Fri, 14 Mar 2003 17:52:49 +0000
- Re: ICoTec
From Beton, Richard at Mon, 10 Mar 2003 10:35:55 +0000
- Re: No message for 6 months
From A E Lawrence at Sun, 09 Mar 2003 13:18:07 +0000
- RE: No message for 6 months
From Stephen Maudsley at Sat, 08 Mar 2003 17:47:47 +0000
- RE: ICoTec
From Stephen Maudsley at Sat, 08 Mar 2003 17:47:46 +0000
- Re: No message for 6 months
From Ruth Ivimey-Cook at Sat, 08 Mar 2003 08:55:37 +0000
- Polling sockets - home-made ALT
From Beton, Richard at Fri, 07 Mar 2003 17:12:51 +0000
- Re: No message for 6 months
From P.H.Welch at Fri, 07 Mar 2003 13:38:57 +0000
- RE: No message for 6 months
From ianeast at Fri, 07 Mar 2003 11:27:32 +0000
- Re: No message for 6 months
From ianeast at Fri, 07 Mar 2003 11:26:19 +0000
- Re: No message for 6 months
From A E Lawrence at Fri, 07 Mar 2003 10:46:18 +0000
- Re: No message for 6 months
From Beton, Richard at Fri, 07 Mar 2003 10:41:03 +0000
- ICoTec
From marcel . boosten at Fri, 07 Mar 2003 06:19:28 +0000
- Re: No message for 6 months
From Fred Barnes at Thu, 06 Mar 2003 23:48:26 +0000
- RE: No message for 6 months
From Campbell, John at Thu, 06 Mar 2003 23:10:45 +0000
- Re: No message for 6 months
From Lawrence Dickson at Thu, 06 Mar 2003 21:08:24 +0000
- Re: No message for 6 months
From Dyke Stiles at Thu, 06 Mar 2003 20:10:18 +0000
- Re: No message for 6 months
From James Pascoe at Thu, 06 Mar 2003 19:42:23 +0000
- Re: No message for 6 months
From ianeast at Thu, 06 Mar 2003 19:37:57 +0000
- Re: Why to interrupt blocked socket? - Re: No message for 6 months
From P.H.Welch at Thu, 06 Mar 2003 18:43:18 +0000
- Why to interrupt blocked socket? - Re: No message for 6 months
From Shengru Tu at Thu, 06 Mar 2003 18:31:50 +0000
- Re: No message for 6 months
From P.H.Welch at Thu, 06 Mar 2003 18:19:28 +0000
- Re: No message for 6 months
From Beton, Richard at Thu, 06 Mar 2003 18:05:19 +0000
- Re: No message for 6 months
From Beton, Richard at Thu, 06 Mar 2003 18:01:49 +0000
- Re: No message for 6 months
From P.H.Welch at Thu, 06 Mar 2003 16:46:31 +0000
- Re: No message for 6 months
From Herman Roebbers at Wed, 05 Mar 2003 20:01:09 +0000
- Re: No message for 6 months
From ianeast at Wed, 05 Mar 2003 18:52:57 +0000
- Re: No message for 6 months
From Lawrence Dickson at Wed, 05 Mar 2003 16:24:31 +0000
- Re: No message for 6 months
From oyvind . teig at Wed, 05 Mar 2003 12:17:40 +0000
- Re: No message for 6 months
From Denis A Nicole at Wed, 05 Mar 2003 12:04:10 +0000
- Re: No message for 6 months
From A E Lawrence at Wed, 05 Mar 2003 09:10:13 +0000
- No message for 6 months
From Philippe Lemaire at Wed, 05 Mar 2003 08:35:22 +0000
- CSP fonts
From ianeast at Mon, 28 Oct 2002 20:20:35 +0000
- Re: CSP fonts
From Dyke Stiles at Mon, 28 Oct 2002 19:54:07 +0000
- Re: CSP fonts
From Jim Davies at Mon, 28 Oct 2002 18:51:13 +0000
- Re: CSP fonts
From Jim Davies at Mon, 28 Oct 2002 18:09:46 +0000
- CSP fonts
From ianeast at Mon, 28 Oct 2002 17:56:54 +0000
- Re: Paper database improved again :-)
From Alastair Allen at Mon, 07 Oct 2002 18:45:56 +0100
- Re: Paper database improved again :-)
From Lawrence Dickson at Mon, 07 Oct 2002 18:12:43 +0100
- Re: Paper database improved again :-)
From ianeast at Mon, 07 Oct 2002 17:48:25 +0100
- Paper database improved again :-)
From Ruth Ivimey-Cook at Mon, 07 Oct 2002 15:45:18 +0100
- Does anyone recognise this?
From A E Lawrence at Mon, 02 Sep 2002 10:02:50 +0100
- RE: Kristen Nygard - RIP
From Andrzej Lewandowski at Fri, 16 Aug 2002 01:50:41 +0100
- Paper database improved and online
From Ruth Ivimey-Cook at Mon, 12 Aug 2002 14:08:04 +0100
- Kristen Nygard - RIP
From Øyvind Teig at Mon, 12 Aug 2002 07:59:12 +0100
- Reg Headlines Friday August 9
From Paul Walker at Fri, 09 Aug 2002 08:30:23 +0100
- Re: CPA 2002 REGISTRATION
From James Pascoe at Wed, 07 Aug 2002 12:33:33 +0100
- CPA 2002 REGISTRATION
From James Pascoe at Mon, 05 Aug 2002 15:14:49 +0100
- occam MUST be on the list of 356 languages!
From Øyvind Teig at Mon, 05 Aug 2002 09:12:59 +0100
- occam MUST be on the list of 356 languages!
From Øyvind Teig at Mon, 05 Aug 2002 09:08:09 +0100
- CPA-2002 programme
From P.H.Welch at Mon, 29 Jul 2002 20:18:33 +0100
- Royal Holloway RA Position
From Helen Treharne at Tue, 16 Jul 2002 10:03:40 +0100
- Job at ARM?
From Ruth Ivimey-Cook at Thu, 11 Jul 2002 11:28:02 +0100
- RE: New Book list on the web site
From Tony Gore at Mon, 08 Jul 2002 10:30:34 +0100
- New Book list on the web site
From Ruth Ivimey-Cook at Tue, 25 Jun 2002 13:39:44 +0100
- CPA 2002 DEADLINE APPROACHING
From James Pascoe at Fri, 07 Jun 2002 13:33:12 +0100
- CPA 2002 DATE REMINDER
From James Pascoe at Tue, 28 May 2002 11:58:19 +0100
- CPA-2002, IEE and BCS
From James Pascoe at Mon, 27 May 2002 16:09:59 +0100
- Re: WoTUG Web site news
From Mario Schweigler at Fri, 24 May 2002 00:28:24 +0100
- Re: WoTUG Web site news
From Fred Barnes at Fri, 24 May 2002 00:24:05 +0100
- Re: WoTUG Web site news
From Mario Schweigler at Thu, 23 May 2002 14:03:26 +0100
- Re: WoTUG Web site news
From Mario Schweigler at Thu, 23 May 2002 13:59:37 +0100
- Re: WoTUG Web site news
From Mario Schweigler at Thu, 23 May 2002 13:41:22 +0100
- WoTUG Web site news
From Ruth Ivimey-Cook at Thu, 23 May 2002 13:38:39 +0100
- CSA transputer boards? and a Meiko available...
From Dyke Stiles at Fri, 17 May 2002 18:52:34 +0100
- Julian Wilson's email address
From Øyvind Teig at Mon, 13 May 2002 11:34:38 +0100
- RE: JCSP Network Edition
From Jim at Wed, 01 May 2002 11:12:22 +0100
- JCSP Network Edition
From Jim at Wed, 01 May 2002 10:01:09 +0100
- RE: JCSP Network Edition now available from Quickstone Technologi es Limited.
From Lewandowski, Andrzej at Tue, 30 Apr 2002 21:01:32 +0100
- Re: JCSP Network Edition now available from Quickstone Technologies Limited.
From P.H.Welch at Tue, 30 Apr 2002 20:37:14 +0100
- Microsoft encouraging personal development...
From Stephen Maudsley at Mon, 29 Apr 2002 16:50:08 +0100
- RE: JCSP Network Edition ...
From P.H.Welch at Fri, 26 Apr 2002 18:35:39 +0100
- Parallel Computing and the Computer Science Curriculum
From P.H.Welch at Fri, 26 Apr 2002 18:05:06 +0100
- Re: News from a MS researcher
From P.H.Welch at Fri, 26 Apr 2002 17:49:58 +0100
- RE: JCSP Network Edition now available from Quickstone Technologi es Limited.
From Lewandowski, Andrzej at Thu, 25 Apr 2002 16:40:25 +0100
- JCSP Network Edition now available from Quickstone Technologies Limited.
From Jim at Thu, 25 Apr 2002 16:08:30 +0100
- CPA LEAFLETS
From James Pascoe at Tue, 16 Apr 2002 14:15:08 +0100
- Re: CPA 2002 LEAFLETS
From A E Lawrence at Fri, 05 Apr 2002 23:12:09 +0100
- RE: CPA 2002 LEAFLETS
From James Pascoe at Fri, 05 Apr 2002 21:30:02 +0100
- RE: CPA 2002 LEAFLETS
From Andrzej Lewandowski at Fri, 05 Apr 2002 20:40:14 +0100
- Re: CPA 2002 LEAFLETS
From Ruth Ivimey-Cook at Fri, 05 Apr 2002 17:00:17 +0100
- CPA 2002 LEAFLETS
From James Pascoe at Fri, 05 Apr 2002 16:21:35 +0100
- WoTUG WEB SITE AFFILIATIONS
From James Pascoe at Fri, 05 Apr 2002 14:53:22 +0100
- CSP in fault tolerance?
From Dyke Stiles at Tue, 02 Apr 2002 17:58:22 +0100
- Wanted - Hoare's Essays in Computing Science
From ianeast at Fri, 08 Mar 2002 18:01:07 +0000
- Re: Wait-free Synchronization, RTLinux and CSP
From Lawrence Dickson at Wed, 06 Mar 2002 20:05:06 +0000
- Re: Wait-free Synchronization, RTLinux and CSP
From A E Lawrence at Wed, 06 Mar 2002 11:28:44 +0000
- Re: Wait-free Synchronization, RTLinux and CSP
From Lawrence Dickson at Tue, 05 Mar 2002 18:30:41 +0000
- Wait-free Synchronization, RTLinux and CSP
From A E Lawrence at Tue, 05 Mar 2002 09:47:30 +0000
- Process Inheritance and Reuse. Event inheritance too?
From Gordon Hutchison at Tue, 12 Feb 2002 08:25:34 +0000
- Re: OO&CSP
From Lawrence Dickson at Mon, 11 Feb 2002 22:44:45 +0000
- Re: OO&CSP
From ianeast at Mon, 11 Feb 2002 19:52:09 +0000
- Re: OO&CSP
From P.H.Welch at Mon, 11 Feb 2002 15:21:27 +0000
- OO&CSP
From Gordon Hutchison at Mon, 11 Feb 2002 13:17:29 +0000
- RE: Emperor's new clothes - ACM followup.
From Andrzej Lewandowski at Fri, 08 Feb 2002 23:26:22 +0000
- RE: Emperor's new clothes - ACM followup.
From Lawrence Dickson at Fri, 08 Feb 2002 20:16:11 +0000
- RE: Emperor's new clothes - ACM followup.
From Andrzej Lewandowski at Wed, 06 Feb 2002 12:15:40 +0000
- Re: Emperor's new clothes - ACM followup.
From Jim Davies at Tue, 05 Feb 2002 12:11:26 +0000
- Re: Emperor's new clothes - ACM followup.
From Lawrence Dickson at Mon, 04 Feb 2002 23:33:17 +0000
- Re: Emperor's new clothes - ACM followup.
From Jim Davies at Mon, 04 Feb 2002 19:59:16 +0000
- RE: Emperor's new clothes - ACM followup.
From Lewandowski, Andrzej at Mon, 04 Feb 2002 19:00:45 +0000
- Emperor's new clothes - ACM followup.
From Dyke Stiles at Mon, 04 Feb 2002 17:52:09 +0000
- RE: JCSP and realtime java processors.
From Stephen Maudsley at Thu, 31 Jan 2002 16:17:57 +0000
- Re: JCSP and realtime java processors.
From P.H.Welch at Tue, 29 Jan 2002 19:06:12 +0000
- Re: Priority modeling with CSP?
From P.H.Welch at Mon, 28 Jan 2002 12:47:26 +0000
- Re: Priority modeling with CSP?
From G.S.Stiles at Fri, 25 Jan 2002 05:53:31 +0000
- Re: Priority modeling with CSP?
From A E Lawrence at Thu, 24 Jan 2002 19:04:22 +0000
- Re: Priority modeling with CSP?
From Jim Davies at Thu, 24 Jan 2002 16:52:03 +0000
- RE: Priority modeling with CSP?
From Gerald Hilderink at Thu, 24 Jan 2002 16:01:51 +0000
- Re: Priority modeling with CSP?
From A E Lawrence at Thu, 24 Jan 2002 15:41:17 +0000
- Re: Priority modeling with CSP?
From A E Lawrence at Thu, 24 Jan 2002 15:27:54 +0000
- Re: Priority modeling with CSP?
From p0072370 at Thu, 24 Jan 2002 14:02:30 +0000
- Re: Priority modeling with CSP?
From A E Lawrence at Thu, 24 Jan 2002 10:38:02 +0000
- Re: Priority modeling with CSP?
From Jim Davies at Thu, 24 Jan 2002 09:29:28 +0000
- Re: Priority modeling with CSP?
From A E Lawrence at Thu, 24 Jan 2002 07:59:14 +0000
- Priority modeling with CSP?
From G.S.Stiles at Thu, 24 Jan 2002 06:11:17 +0000
- Re: Java IDE?
From P.H.Welch at Tue, 08 Jan 2002 18:28:20 +0000
- HPC in CSA
From P.H.Welch at Thu, 03 Jan 2002 15:23:01 +0000
- Structure?
From p0072370 at Mon, 05 Nov 2001 12:24:10 +0000
- Re: CSP, JMM and better processor architectures
From Denis A Nicole at Fri, 02 Nov 2001 08:01:34 +0000
- RE: Another Helping of CPA ?
From Jeremy Martin at Thu, 01 Nov 2001 09:25:37 +0000
- Re: CSP/JCSP Tutorial at PDPTA 2001
From P.H.Welch at Wed, 31 Oct 2001 17:33:53 +0000
- Re: CSP/JCSP Tutorial at PDPTA 2001
From P.H.Welch at Tue, 30 Oct 2001 19:25:19 +0000
- Another Helping of CPA ?
From James Pascoe at Mon, 29 Oct 2001 14:02:49 +0000
- RE: CSP and Isolates
From Tony Gore at Sun, 14 Oct 2001 18:32:46 +0100
- RE: CSP and Isolates
From Hilderink, G.H. at Fri, 12 Oct 2001 15:13:29 +0100
- Re: CSP, JMM and better processor architectures
From P.H.Welch at Fri, 12 Oct 2001 15:11:32 +0100
- Re: CSP, JMM and better processor architectures
From Richard Miller at Fri, 12 Oct 2001 14:38:58 +0100
- Re: CSP and Isolates
From Doug Lea at Fri, 12 Oct 2001 13:05:00 +0100
- CSP and Isolates
From P.H.Welch at Fri, 12 Oct 2001 00:17:29 +0100
- CSP, JMM and better processor architectures
From P.H.Welch at Fri, 12 Oct 2001 00:11:15 +0100
- CSP and the middle ground
From P.H.Welch at Thu, 11 Oct 2001 23:57:16 +0100
- Seen 'through a glass darkly'
From oyvind . teig at Thu, 11 Oct 2001 08:08:06 +0100
- RE: Objects, processes, and encapsulation
From johan . sunter at Wed, 10 Oct 2001 07:59:27 +0100
- RE: Objects, processes, and encapsulation
From Lawrence Dickson at Tue, 09 Oct 2001 23:44:23 +0100
- Re: Objects, processes, and encapsulation
From IanPage99 at Tue, 09 Oct 2001 21:24:31 +0100
- RE: Objects, processes, and encapsulation
From Gerald Hilderink at Tue, 09 Oct 2001 20:23:10 +0100
- RE: Objects, processes, and encapsulation
From ianeast at Tue, 09 Oct 2001 20:06:35 +0100
- Re: Objects, processes, and encapsulation
From Lawrence Dickson at Tue, 09 Oct 2001 16:52:50 +0100
- RE: Objects, processes, and encapsulation
From P.H.Welch at Tue, 09 Oct 2001 15:22:27 +0100
- RE: Objects, processes, and encapsulation
From Andrzej Lewandowski at Tue, 09 Oct 2001 13:36:13 +0100
- Re: Objects, processes, and encapsulation
From IanPage99 at Tue, 09 Oct 2001 12:27:20 +0100
- Re: Objects, processes, and encapsulation
From P.H.Welch at Mon, 08 Oct 2001 13:41:30 +0100
- Re: Objects, processes, and encapsulation
From oyvind . teig at Mon, 08 Oct 2001 08:50:10 +0100
- Bigraphical Reactive Systems
From A E Lawrence at Fri, 05 Oct 2001 21:47:28 +0100
- Re: Objects, processes, and encapsulation
From p0072370 at Fri, 05 Oct 2001 18:07:39 +0100
- Re: Objects, processes, and encapsulation
From P.H.Welch at Fri, 05 Oct 2001 16:58:58 +0100
- Re: Objects, processes, and encapsulation
From Twan Basten at Fri, 05 Oct 2001 13:47:09 +0100
- Re: Objects, processes, and encapsulation
From p0072370 at Fri, 05 Oct 2001 13:12:12 +0100
- Re: Objects, processes, and encapsulation
From p0072370 at Fri, 05 Oct 2001 13:11:22 +0100
- Re: Objects, processes, and encapsulation
From A E Lawrence at Thu, 04 Oct 2001 22:09:19 +0100
- Re: Objects, processes, and encapsulation
From Lawrence Dickson at Thu, 04 Oct 2001 16:57:01 +0100
- Re: Objects, processes, and encapsulation
From Dyke Stiles at Thu, 04 Oct 2001 15:38:15 +0100
- Re: Objects, processes, and encapsulation
From Twan Basten at Thu, 04 Oct 2001 14:23:23 +0100
- Re: Objects, processes, and encapsulation
From P.H.Welch at Thu, 04 Oct 2001 14:19:48 +0100
- RE: Objects, processes, and encapsulation
From ianeast at Thu, 04 Oct 2001 12:54:23 +0100
- RE: Objects, processes, and encapsulation
From oyvind . teig at Thu, 04 Oct 2001 11:58:32 +0100
- RE: Objects, processes, and encapsulation
From ianeast at Thu, 04 Oct 2001 11:06:02 +0100
- Objects, processes, and encapsulation
From ianeast at Thu, 04 Oct 2001 11:06:01 +0100
- RE: Objects, processes, and encapsulation
From oyvind . teig at Thu, 04 Oct 2001 07:23:16 +0100
- Re: Objects, processes, and encapsulation
From marcel . boosten at Thu, 04 Oct 2001 07:10:14 +0100
- Re: Objects, processes, and encapsulation
From Lawrence Dickson at Wed, 03 Oct 2001 17:08:37 +0100
- RE: Objects, processes, and encapsulation
From Hilderink, G.H. at Wed, 03 Oct 2001 15:30:04 +0100
- RE: Objects, processes, and encapsulation
From oyvind . teig at Wed, 03 Oct 2001 12:28:06 +0100
- Model-View in CSP
From marcel . boosten at Wed, 03 Oct 2001 10:45:18 +0100
- RE: Objects, processes, and encapsulation
From Hilderink, G.H. at Wed, 03 Oct 2001 09:34:01 +0100
- Re: Objects, processes, and encapsulation
From ianeast at Wed, 03 Oct 2001 09:14:08 +0100
- Re: Objects, processes, and encapsulation
From johan . sunter at Wed, 03 Oct 2001 07:47:05 +0100
- Re: Objects, processes, and encapsulation
From marcel . boosten at Wed, 03 Oct 2001 06:57:33 +0100
- Mobile interaction and graphs
From A E Lawrence at Tue, 02 Oct 2001 20:44:02 +0100
- Re: Objects, processes, and encapsulation
From ianeast at Tue, 02 Oct 2001 18:55:58 +0100
- RE: Objects, processes, and encapsulation
From Hilderink, G.H. at Tue, 02 Oct 2001 15:17:45 +0100
- Re: Objects, processes, and encapsulation
From marcel . boosten at Tue, 02 Oct 2001 12:35:12 +0100
- Re: Objects, processes, and encapsulation
From p0072370 at Mon, 01 Oct 2001 12:19:17 +0100
- Re: CPA: Where to publish?
From Ruth Ivimey-Cook at Sun, 30 Sep 2001 21:55:52 +0100
- Re: Objects, processes, and encapsulation
From P.H.Welch at Fri, 28 Sep 2001 13:27:25 +0100
- Objects, processes, and encapsulation
From ianeast at Fri, 28 Sep 2001 11:30:44 +0100
- Re: Skeletons
From p0072370 at Thu, 27 Sep 2001 16:39:52 +0100
- Re: CPA: Where to publish?
From p0072370 at Thu, 27 Sep 2001 15:00:52 +0100
- Re: CPA: Where to publish?
From Dyke Stiles at Wed, 26 Sep 2001 17:28:01 +0100
- Re: CPA: Where to publish?
From Alastair Allen at Wed, 26 Sep 2001 17:24:13 +0100
- Re: CPA: Where to publish?
From p0072370 at Wed, 26 Sep 2001 16:11:45 +0100
- Re: CPA: Where to publish?
From A E Lawrence at Wed, 26 Sep 2001 11:17:25 +0100
- Re: CPA: Where to publish?
From p0072370 at Wed, 26 Sep 2001 10:54:56 +0100
- Re: CPA: Where to publish?
From Ruth Ivimey-Cook at Tue, 25 Sep 2001 23:40:46 +0100
- Re: CPA: Where to publish?
From Nan C Schaller at Mon, 24 Sep 2001 12:33:43 +0100
- Re: Thanks ...
From johan . sunter at Mon, 24 Sep 2001 09:42:09 +0100
- Re: CPA: Where to publish?
From johan . sunter at Mon, 24 Sep 2001 08:01:10 +0100
- Thanks ...
From P.H.Welch at Sat, 22 Sep 2001 18:07:11 +0100
- Re: CPA: Where to publish?
From johan . sunter at Fri, 21 Sep 2001 15:14:03 +0100
- RE: The future of CSP? (OO & CSP)
From Hilderink, G.H. at Fri, 21 Sep 2001 14:28:07 +0100
- RE: The future of CSP? (OO & CSP)
From Doug Lea at Fri, 21 Sep 2001 12:04:54 +0100
- Re: CPA: Where to publish?
From ianeast at Fri, 21 Sep 2001 08:56:15 +0100
- Re: CPA: Where to publish?
From johan . sunter at Fri, 21 Sep 2001 08:24:47 +0100
- RE: The future of CSP? (OO & CSP)
From Gerald Hilderink at Thu, 20 Sep 2001 20:56:53 +0100
- CPA: Where to publish?
From ianeast at Thu, 20 Sep 2001 15:18:57 +0100
- "Fringe" papers...
From Alan Chalmers at Wed, 12 Sep 2001 17:15:48 +0100
- RE: Concurrency, Exceptions and Poison
From Campbell, John at Mon, 10 Sep 2001 21:47:05 +0100
- Re: Concurrency, Exceptions and Poison
From ianeast at Mon, 10 Sep 2001 18:07:55 +0100
- Please don't add old mail context all the time
From oyvind . teig at Mon, 10 Sep 2001 13:12:51 +0100
- RE: Concurrency, Exceptions and Poison
From Gerald Hilderink at Mon, 10 Sep 2001 12:22:13 +0100
- Concurrency, Exceptions and Poison
From P . H . Welch at Sun, 09 Sep 2001 14:33:57 +0100
- Re: CSP Mailinglist Problems
From P . H . Welch at Sun, 09 Sep 2001 14:31:42 +0100
- Re: UML and concurrency: how to get started?
From A E Lawrence at Sun, 09 Sep 2001 12:34:24 +0100
- Re: The future of CSP? Fault tolerant implementations?
From marcel . boosten at Sat, 08 Sep 2001 01:00:09 +0100
- Re: UML and concurrency: how to get started?
From marcel . boosten at Sat, 08 Sep 2001 00:50:03 +0100
- CSP Mailinglist Problems
From marcel . boosten at Sat, 08 Sep 2001 00:50:02 +0100
- Re: Occam compiler using gcc
From oyvind . teig at Wed, 05 Sep 2001 07:13:03 +0100
- Re: The future of CSP? Fault tolerant implementations?
From G. S. Stiles at Wed, 05 Sep 2001 05:02:52 +0100
- Re: Occam compiler using gcc
From Denis A Nicole at Tue, 04 Sep 2001 15:04:30 +0100
- UML and concurrency: how to get started?
From Jeremy Martin at Tue, 04 Sep 2001 13:27:43 +0100
- Re: The future of CSP? (OO & CSP)
From G. S. Stiles at Mon, 03 Sep 2001 21:36:20 +0100
- Re: Occam compiler using gcc
From oyvind . teig at Fri, 31 Aug 2001 12:11:57 +0100
- Occam compiler using gcc
From Ruth Ivimey-Cook at Tue, 28 Aug 2001 13:16:51 +0100
- RE: Poison
From Gerald Hilderink at Thu, 26 Jul 2001 17:50:41 +0100
- RE: Poison
From Gerald Hilderink at Thu, 26 Jul 2001 17:38:56 +0100
- Re: Poison
From Lawrence Dickson at Thu, 26 Jul 2001 17:27:29 +0100
- Re: Poison
From ianeast at Thu, 26 Jul 2001 16:31:18 +0100
- Re: Philosophy
From M_Boosten at Thu, 26 Jul 2001 15:13:55 +0100
- Re: Poison
From P . H . Welch at Thu, 26 Jul 2001 15:07:48 +0100
- [no subject]
From M_Boosten at Thu, 26 Jul 2001 14:52:45 +0100
- Re: Poison
From A E Lawrence at Thu, 26 Jul 2001 13:17:46 +0100
- RE: Poison
From P . H . Welch at Thu, 26 Jul 2001 13:02:32 +0100
- Re: Poison
From P . H . Welch at Thu, 26 Jul 2001 12:58:15 +0100
- Re: Poison
From M_Boosten at Thu, 26 Jul 2001 11:43:41 +0100
- RE: Poison
From Gerald Hilderink at Thu, 26 Jul 2001 10:51:05 +0100
- Philosophy
From M_Boosten at Thu, 26 Jul 2001 09:41:54 +0100
- Re: Poison
From M_Boosten at Thu, 26 Jul 2001 09:12:44 +0100
- Re: Poison
From oyvind . teig at Wed, 25 Jul 2001 09:15:40 +0100
- Re: Poison
From P . H . Welch at Fri, 20 Jul 2001 18:20:52 +0100
- Re: Poison
From Lawrence Dickson at Fri, 20 Jul 2001 18:04:44 +0100
- CPA-2001 Call for Delegates
From P . H . Welch at Fri, 20 Jul 2001 15:29:39 +0100
- Re: Poison
From M_Boosten at Fri, 20 Jul 2001 13:18:48 +0100
- Re: Poison
From P . H . Welch at Fri, 20 Jul 2001 12:18:32 +0100
- TPAR
From M_Boosten at Fri, 20 Jul 2001 10:54:12 +0100
- Re: Poison
From M_Boosten at Fri, 20 Jul 2001 10:37:35 +0100
- Re: Poison
From A E Lawrence at Fri, 20 Jul 2001 10:21:51 +0100
- Re: Poison
From A E Lawrence at Fri, 20 Jul 2001 10:10:07 +0100
- Re: Poison
From A E Lawrence at Fri, 20 Jul 2001 10:09:34 +0100
- Re: Poison
From Beton, Richard at Fri, 20 Jul 2001 09:55:25 +0100
- RE: Poison
From Campbell, John at Thu, 19 Jul 2001 23:26:36 +0100
- RE: Poison
From Campbell, John at Thu, 19 Jul 2001 22:55:06 +0100
- Re: Poison
From Lawrence Dickson at Thu, 19 Jul 2001 17:47:27 +0100
- Re: Poison
From Beton, Richard at Thu, 19 Jul 2001 16:28:15 +0100
- RE: Poison
From Campbell, John at Thu, 19 Jul 2001 15:49:20 +0100
- FW: Poison
From Gerald Hilderink at Thu, 19 Jul 2001 11:41:52 +0100
- Re: Poison
From M_Boosten at Thu, 19 Jul 2001 09:05:23 +0100
- RE: Poison
From Campbell, John at Wed, 18 Jul 2001 19:09:10 +0100
- Re: Poison
From P . H . Welch at Wed, 18 Jul 2001 18:46:01 +0100
- Re: Poison
From P . H . Welch at Wed, 18 Jul 2001 18:35:51 +0100
- Re: Poison
From Lawrence Dickson at Wed, 18 Jul 2001 16:50:02 +0100
- Re: Poison
From M_Boosten at Wed, 18 Jul 2001 15:04:01 +0100
- Re: Poison
From P . H . Welch at Wed, 18 Jul 2001 13:54:05 +0100
- Re: Poison
From M_Boosten at Wed, 18 Jul 2001 13:24:56 +0100
- Re: Poison
From P . H . Welch at Wed, 18 Jul 2001 12:53:24 +0100
- Poison
From M_Boosten at Wed, 18 Jul 2001 08:39:07 +0100
- New JCSP release
From P . H . Welch at Mon, 16 Jul 2001 18:36:24 +0100
- Re: Brinch Hansen's frustration
From oyvind . teig at Tue, 19 Jun 2001 11:05:15 +0100
- Brinch Hansen's frustration
From oyvind . teig at Tue, 19 Jun 2001 08:38:45 +0100
- Re: JEdit - a Java folding editor
From Tom Locke at Wed, 13 Jun 2001 09:14:55 +0100
- JEdit - a Java folding editor
From Richard Beton at Tue, 12 Jun 2001 17:29:26 +0100
- Forwarding request ...
From P . H . Welch at Tue, 5 Jun 2001 01:24:12 +0100
- Re: occam: "inability to encapsulate objects"(?)
From P.H.Welch at Fri, 4 May 2001 12:09:31 +0100
- Re: occam: "inability to encapsulate objects"(?)
From Tom Locke at Fri, 4 May 2001 11:47:26 +0100
- Re: occam: "inability to encapsulate objects"(?)
From Lawrence Dickson at Wed, 2 May 2001 18:42:36 +0100
- occam: "inability to encapsulate objects"(?)
From oyvind . teig at Wed, 2 May 2001 11:17:05 +0100
- RE: Micron...
From O'Neill, Brian at Thu, 12 Apr 2001 10:02:25 +0100
- Micron...
From Dyke Stiles at Wed, 11 Apr 2001 16:15:36 +0100
- Re: Comms warm a bit to reconfigurable processor
From A E Lawrence at Fri, 30 Mar 2001 21:03:06 +0100
- Comms warm a bit to reconfigurable processor
From G. S. Stiles at Fri, 30 Mar 2001 03:43:05 +0100
- CPA 2001 (WoTUG-24)
From P.H.Welch at Tue, 27 Feb 2001 11:55:33 +0000
- CPA session at PDTPA'2001
From P.H.Welch at Fri, 23 Feb 2001 18:31:55 +0000
- PDTPA 2001 etc
From P.H.Welch at Fri, 23 Feb 2001 18:26:35 +0000
- Re: Real-time Java?
From Doug Lea at Tue, 6 Feb 2001 12:54:48 +0000
- Re: Real-time Java?
From oyvind . teig at Tue, 6 Feb 2001 07:43:32 +0000
- Re: Folding editors
From A E Lawrence at Mon, 5 Feb 2001 22:37:44 +0000
- Folding editors
From jm40 at Mon, 5 Feb 2001 19:53:58 +0000
- Re: a few questions
From Doug Lea at Sat, 3 Feb 2001 00:50:45 +0000
- Re: Real-time Java?
From P.H.Welch at Fri, 2 Feb 2001 17:38:01 +0000
- RE: a few questions
From Gerald H. Hilderink at Fri, 2 Feb 2001 09:32:25 +0000
- RE: a few questions
From oyvind . teig at Fri, 2 Feb 2001 08:36:27 +0000
- Re: a few questions
From Richard Beton at Thu, 1 Feb 2001 18:47:06 +0000
- RE: a few questions
From Gerald H. Hilderink at Thu, 1 Feb 2001 16:52:44 +0000
- RE: a few questions
From Gerald H. Hilderink at Thu, 1 Feb 2001 16:37:05 +0000
- Re: a few questions
From P.H.Welch at Wed, 31 Jan 2001 19:01:11 +0000
- RE: a few questions
From Gerald H. Hilderink at Wed, 31 Jan 2001 18:28:24 +0000
- a few questions
From Gerald H. Hilderink at Wed, 31 Jan 2001 15:28:58 +0000
- ST-20
From Gerald H. Hilderink at Wed, 31 Jan 2001 15:25:21 +0000
- Looking forward to the transputer
From Paul Walker at Wed, 31 Jan 2001 13:16:46 +0000
- Re: FW: transputers in TV set-top boxes
From Lawrence Dickson at Tue, 30 Jan 2001 18:31:34 +0000
- RE: transputers in TV set-top boxes
From Stephen Maudsley at Tue, 30 Jan 2001 17:27:44 +0000
- Re: Experience with JCSP/CTJ/FDR
From Dyke Stiles at Tue, 30 Jan 2001 16:47:00 +0000
- RE: FW: transputers in TV set-top boxes
From O'Neill, Brian at Tue, 30 Jan 2001 16:41:46 +0000
- Re: FW: transputers in TV set-top boxes
From Roger Peel at Tue, 30 Jan 2001 15:58:20 +0000
- Re: FW: transputers in TV set-top boxes
From P.H.Welch at Tue, 30 Jan 2001 14:48:12 +0000
- Re: FW: transputers in TV set-top boxes
From oyvind . teig at Tue, 30 Jan 2001 14:25:44 +0000
- FW: transputers in TV set-top boxes
From Gerald H. Hilderink at Tue, 30 Jan 2001 14:09:37 +0000
- Re: transputers in TV set-top boxes
From Roger Peel at Tue, 30 Jan 2001 13:57:27 +0000
- transputers in TV set-top boxes
From Gerald H. Hilderink at Tue, 30 Jan 2001 12:45:38 +0000
- RE: Java Live | January 9, 2001
From P.H.Welch at Fri, 26 Jan 2001 19:18:31 +0000
- RE: Java Live | January 9, 2001
From Richard Miller at Wed, 24 Jan 2001 16:11:36 +0000
- RE: Java Live | January 9, 2001
From P.H.Welch at Wed, 24 Jan 2001 13:22:37 +0000
- RE: Java Live | January 9, 2001
From P.H.Welch at Wed, 24 Jan 2001 12:48:28 +0000
- RE: Java Live | January 9, 2001
From Lawrence Dickson at Wed, 24 Jan 2001 00:23:45 +0000
- SPoC ports
From oyvind . teig at Wed, 17 Jan 2001 14:48:48 +0000
- RE: SHARCs
From O'Neill, Brian at Fri, 22 Dec 2000 14:13:19 +0000
- RE: Mobile Processes (was 'Slides from my talk at CPA2000')
From M_Boosten at Fri, 22 Dec 2000 12:45:51 +0000
- SHARCs
From Alastair Allen at Fri, 22 Dec 2000 10:14:17 +0000
- Re: SV: Ripple: A Folding Editor
From oyvind . teig at Fri, 22 Dec 2000 09:43:50 +0000
- RE: New language syntax
From P.H.Welch at Thu, 21 Dec 2000 20:29:54 +0000
- RE: New language syntax
From Lawrence Dickson at Thu, 21 Dec 2000 18:41:46 +0000
- RE: New language syntax
From O'Neill, Brian at Thu, 21 Dec 2000 16:37:02 +0000
- RE: New language syntax
From Philippe Lemaire at Thu, 21 Dec 2000 11:08:26 +0000
- Re: New language syntax
From Lawrence Dickson at Wed, 20 Dec 2000 17:36:33 +0000
- Re: New language syntax
From IanPage99 at Wed, 20 Dec 2000 10:56:01 +0000
- Re: SV: Ripple: A Folding Editor
From Tom Locke at Wed, 20 Dec 2000 09:29:09 +0000
- SV: Ripple: A Folding Editor
From Sture . Carlson at Wed, 20 Dec 2000 09:22:48 +0000
- Re: New language syntax
From Lawrence Dickson at Tue, 19 Dec 2000 17:35:27 +0000
- New language syntax
From Michael Poole at Tue, 19 Dec 2000 13:07:20 +0000
- Re: Ripple: A Folding Editor
From Richard Beton at Tue, 19 Dec 2000 11:18:28 +0000
- Re: Software fault forces Ford recall
From Stephen Maudsley at Tue, 19 Dec 2000 10:43:52 +0000
- Ripple: A Folding Editor
From Tom Locke at Tue, 19 Dec 2000 10:43:02 +0000
- RE: Software fault forces Ford recall
From Campbell, John at Tue, 19 Dec 2000 00:03:31 +0000
- RE: Software fault forces Ford recall
From Campbell, John at Tue, 19 Dec 2000 00:02:12 +0000
- Re: Folding editors etc.
From Dyke Stiles at Mon, 18 Dec 2000 23:39:47 +0000
- Re: New language syntax
From A E Lawrence at Mon, 18 Dec 2000 21:47:50 +0000
- RE: New language syntax
From Tony at Mon, 18 Dec 2000 21:32:13 +0000
- New language syntax
From jm40 at Mon, 18 Dec 2000 18:01:09 +0000
- Re: Software fault forces Ford recall
From Lawrence Dickson at Mon, 18 Dec 2000 17:47:42 +0000
- Re: Software fault forces Ford recall
From IanPage99 at Mon, 18 Dec 2000 12:24:54 +0000
- Re: Software fault forces Ford recall
From P.H.Welch at Mon, 18 Dec 2000 12:02:16 +0000
- Re: Software fault forces Ford recall
From Chris Jones at Mon, 18 Dec 2000 10:46:30 +0000
- Re: Software fault forces Ford recall
From Richard Beton at Mon, 18 Dec 2000 10:25:46 +0000
- Re: Software fault forces Ford recall
From Lawrence Dickson at Mon, 18 Dec 2000 04:32:53 +0000
- Re: Software fault forces Ford recall
From A E Lawrence at Sun, 17 Dec 2000 18:10:32 +0000
- Re: Software fault forces Ford recall
From Mark Booth at Sat, 16 Dec 2000 14:06:51 +0000
- RE: Software fault forces Ford recall
From Tony at Fri, 15 Dec 2000 20:56:58 +0000
- Re: Software fault forces Ford recall
From Denis A Nicole at Fri, 15 Dec 2000 18:17:03 +0000
- Software fault forces Ford recall
From Richard Beton at Thu, 14 Dec 2000 10:04:23 +0000
- imitation hi-pri occam tool?
From Lawrence Dickson at Mon, 11 Dec 2000 19:41:06 +0000
- Inferno applets
From Paul Walker at Fri, 8 Dec 2000 08:48:25 +0000
- RE: Mobile Processes (was 'Slides from my talk at CPA2000')
From ianeast at Wed, 6 Dec 2000 13:32:03 +0000
- RE: Mobile Processes (was 'Slides from my talk at CPA2000')
From Tom Locke at Wed, 6 Dec 2000 12:15:51 +0000
- Re: (now completed) Slides from my talk at CPA2000
From Richard Beton at Wed, 6 Dec 2000 10:53:38 +0000
- Re: (now completed) Slides from my talk at CPA2000
From A E Lawrence at Tue, 5 Dec 2000 22:01:34 +0000
- RE: (now completed) Slides from my talk at CPA2000
From jm40 at Tue, 5 Dec 2000 21:34:23 +0000
- Re: Bibliographies
From P.H.Welch at Tue, 5 Dec 2000 21:27:15 +0000
- Re: Bibliographies
From A E Lawrence at Tue, 5 Dec 2000 21:07:32 +0000
- RE: (now completed) Slides from my talk at CPA2000
From Campbell, John at Tue, 5 Dec 2000 18:00:21 +0000
- RE: (now completed) Slides from my talk at CPA2000
From gordon_hutchison at Tue, 5 Dec 2000 11:19:43 +0000
- Re: (now completed) Slides from my talk at CPA2000
From A E Lawrence at Fri, 1 Dec 2000 22:07:46 +0000
- RE: (now completed) Slides from my talk at CPA2000
From Campbell, John at Fri, 1 Dec 2000 18:58:42 +0000
- (now completed) Slides from my talk at CPA2000
From Tom Locke at Fri, 1 Dec 2000 17:22:32 +0000
- Transputers going free...
From Denis A Nicole at Fri, 24 Nov 2000 13:04:20 +0000
- Re: CommsTime times?
From P.H.Welch at Tue, 21 Nov 2000 12:29:38 +0000
- Re: CommsTime times?
From Richard Beton at Tue, 21 Nov 2000 11:32:45 +0000
- RE: CommsTime times?
From Gerald H. Hilderink at Fri, 17 Nov 2000 19:11:51 +0000
- RE: CommsTime times?
From O'Neill, Brian at Fri, 17 Nov 2000 15:11:06 +0000
- RE: CommsTime times?
From P.H.Welch at Fri, 17 Nov 2000 14:20:13 +0000
- RE: CommsTime times?
From Gerald H. Hilderink at Fri, 17 Nov 2000 14:13:12 +0000
- Re: CommsTime times?
From P.H.Welch at Fri, 17 Nov 2000 12:55:56 +0000
- RE: ComsTime
From Gerald H. Hilderink at Fri, 17 Nov 2000 12:11:00 +0000
- Re: CommsTime times?
From B.M. Cook at Fri, 17 Nov 2000 11:13:32 +0000
- Re: CommsTime times?
From Roger Peel at Fri, 17 Nov 2000 10:37:02 +0000
- Re: CommsTime times?
From B.M. Cook at Fri, 17 Nov 2000 09:02:08 +0000
- Re: CommsTime times?
From P.H.Welch at Thu, 16 Nov 2000 19:05:29 +0000
- Re: CommsTime times?
From P.H.Welch at Thu, 16 Nov 2000 18:50:26 +0000
- CommsTime times?
From Oyvind Teig at Tue, 14 Nov 2000 07:51:21 +0000
- ComsTime
From Gerald H. Hilderink at Mon, 13 Nov 2000 21:13:42 +0000
- Re: CommsTime times?
From Oyvind Teig at Mon, 13 Nov 2000 13:33:05 +0000
- Re: CommsTime times?
From D.C.Wood at Thu, 9 Nov 2000 16:19:46 +0000
- CommsTime times?
From Dyke Stiles at Thu, 9 Nov 2000 01:24:47 +0000
- [Fwd: Beatles songs for the 21st Century]
From Richard Beton at Fri, 3 Nov 2000 16:35:38 +0000
- PRI PAR and PAR PRI in hardware
From A E Lawrence at Thu, 2 Nov 2000 20:58:50 +0000
- Micro$lime at work?
From A E Lawrence at Thu, 2 Nov 2000 20:30:00 +0000
- Merging revisited
From A E Lawrence at Mon, 30 Oct 2000 13:24:05 +0000
- RE: FW: A "CJT" in python
From Lawrence Dickson at Mon, 30 Oct 2000 00:55:24 +0000
- Re: FW: A "CJT" in python
From Lawrence Dickson at Sun, 29 Oct 2000 14:40:24 +0000
- Re: A "CJT" in python
From Lawrence Dickson at Sat, 28 Oct 2000 23:21:10 +0100
- A "CJT" in python
From A E Lawrence at Fri, 27 Oct 2000 22:02:55 +0100
- Re: Provably correct OS?
From Lawrence Dickson at Thu, 26 Oct 2000 23:49:52 +0100
- Provably correct OS?
From Dyke Stiles at Thu, 26 Oct 2000 22:52:30 +0100
- Re: OO and CSP (and real-time requirements)
From A E Lawrence at Tue, 24 Oct 2000 19:50:58 +0100
- RE: Inheritance that can add/remove and new occam?
From Lawrence Dickson at Tue, 24 Oct 2000 19:15:55 +0100
- Re: Priority revisited: a new primitive
From Denis A Nicole at Tue, 24 Oct 2000 18:29:45 +0100
- RE: Inheritance that can add/remove and new occam?
From Oyvind Teig at Tue, 24 Oct 2000 18:23:52 +0100
- RE: Inheritance that can add/remove and new occam?
From Nayef Baker at Tue, 24 Oct 2000 18:10:23 +0100
- RE: OO and CSP (and real-time requirements)
From P.H.Welch at Tue, 24 Oct 2000 17:57:29 +0100
- Re. Budgets, etc.
From P.H.Welch at Tue, 24 Oct 2000 17:41:36 +0100
- RE: Inheritance that can add/remove and new occam?
From O'Neill, Brian at Tue, 24 Oct 2000 17:28:59 +0100
- Re: Priority revisited: a new primitive
From p0072370 at Tue, 24 Oct 2000 14:11:02 +0100
- Re: Priority revisited: a new primitive
From B.M. Cook at Tue, 24 Oct 2000 12:39:09 +0100
- Re: Priority revisited: a new primitive
From A E Lawrence at Tue, 24 Oct 2000 12:00:45 +0100
- Re: Inheritance that can add/remove and new occam?
From M_Boosten at Tue, 24 Oct 2000 08:23:46 +0100
- Re: Inheritance that can add/remove and new occam?
From Oyvind Teig at Tue, 24 Oct 2000 07:50:20 +0100
- Re: Inheritance that can add/remove and new occam?
From A E Lawrence at Mon, 23 Oct 2000 22:51:41 +0100
- Re: Inheritance that can add/remove and new occam?
From A E Lawrence at Mon, 23 Oct 2000 22:49:45 +0100
- Re: Priority revisited: a new primitive
From A E Lawrence at Mon, 23 Oct 2000 22:46:04 +0100
- Re: Data Sharing Problem
From A E Lawrence at Mon, 23 Oct 2000 22:19:04 +0100
- RE: OO and CSP
From Campbell, John at Mon, 23 Oct 2000 19:55:26 +0100
- Re: Inheritance that can add/remove and new occam?
From Richard Beton at Mon, 23 Oct 2000 17:56:14 +0100
- RE: Inheritance that can add/remove and new occam?
From Lawrence Dickson at Mon, 23 Oct 2000 17:42:04 +0100
- RE: Inheritance that can add/remove and new occam?
From Philippe Lemaire at Mon, 23 Oct 2000 16:28:28 +0100
- Re: Inheritance that can add/remove and new occam?
From Nayef Baker at Mon, 23 Oct 2000 15:01:56 +0100
- Re: Inheritance that can add/remove and new occam?
From M_Boosten at Mon, 23 Oct 2000 14:59:03 +0100
- Inheritance that can add/remove and new occam?
From Oyvind Teig at Mon, 23 Oct 2000 14:14:00 +0100
- Re: A path for CSP-based
From M_Boosten at Mon, 23 Oct 2000 13:03:14 +0100
- RE: Priority revisited: a new primitive
From M_Boosten at Mon, 23 Oct 2000 13:02:48 +0100
- Data Sharing Problem
From M_Boosten at Mon, 23 Oct 2000 12:55:30 +0100
- Re: Aliasing and Garbage Collection
From M_Boosten at Mon, 23 Oct 2000 12:27:21 +0100
- Re: Priority revisited: a new primitive
From A E Lawrence at Mon, 23 Oct 2000 11:58:49 +0100
- Re: OO and CSP
From M_Boosten at Mon, 23 Oct 2000 11:01:02 +0100
- Re: Quixotic thought #57: Software salvation via JCSP
From A E Lawrence at Sat, 21 Oct 2000 11:07:29 +0100
- RE: Quixotic thought #57: Software salvation via JCSP
From Lawrence Dickson at Sat, 21 Oct 2000 00:14:40 +0100
- RE: Quixotic thought #57: Software salvation via JCSP
From Campbell, John at Fri, 20 Oct 2000 23:23:48 +0100
- Re: Priority revisited: a new primitive
From A E Lawrence at Fri, 20 Oct 2000 20:52:48 +0100
- RE: OO and CSP (and real-time requirements)
From Campbell, John at Fri, 20 Oct 2000 19:37:21 +0100
- Re: Priority revisited: a new primitive
From B.M. Cook at Fri, 20 Oct 2000 16:37:17 +0100
- Re: Aliasing and Garbage Collection
From Richard Beton at Fri, 20 Oct 2000 16:33:08 +0100
- Re: Priority revisited: a new primitive
From M_Boosten at Fri, 20 Oct 2000 16:15:48 +0100
- Re: Aliasing and Garbage Collection
From Denis A Nicole at Thu, 19 Oct 2000 16:10:12 +0100
- Re: Aliasing and Garbage Collection
From Andrew Cooke at Thu, 19 Oct 2000 14:52:18 +0100
- Re: Aliasing and Garbage Collection
From Oyvind Teig at Thu, 19 Oct 2000 13:16:29 +0100
- Re: Blackhole mailing list issues
From M_Boosten at Thu, 19 Oct 2000 11:52:33 +0100
- Re: Blackhole mailing list issues
From Oyvind Teig at Thu, 19 Oct 2000 09:56:31 +0100
- Re: Blackhole mailing list issues
From Adrian Lawrence at Wed, 18 Oct 2000 18:04:42 +0100
- Re: Blackhole mailing list issues
From Richard Beton at Wed, 18 Oct 2000 17:38:22 +0100
- Re: Blackhole mailing list issues
From P.H.Welch at Wed, 18 Oct 2000 16:58:07 +0100
- Re: Blackhole mailing list issues
From M_Boosten at Wed, 18 Oct 2000 15:36:32 +0100
- Re: Blackhole mailing list issues
From M_Boosten at Wed, 18 Oct 2000 15:28:59 +0100
- Re: Blackhole mailing list issues
From A E Lawrence at Wed, 18 Oct 2000 14:31:54 +0100
- Re: Blackhole mailing list issues
From M_Boosten at Wed, 18 Oct 2000 11:58:17 +0100
- Re: Blackhole mailing list issues
From P.H.Welch at Wed, 18 Oct 2000 10:49:11 +0100
- Re: Aliasing and Garbage Collection
From A E Lawrence at Tue, 17 Oct 2000 21:12:36 +0100
- Re: A path for CSP-based
From Lawrence Dickson at Tue, 17 Oct 2000 19:14:51 +0100
- RE: Aliasing and Garbage Collection
From Oyvind Teig at Tue, 17 Oct 2000 18:40:24 +0100
- RE: Aliasing and Garbage Collection
From Campbell, John at Tue, 17 Oct 2000 18:14:33 +0100
- Re: Aliasing and Garbage Collection
From Denis A Nicole at Tue, 17 Oct 2000 17:48:29 +0100
- Re: Blackhole mailing list issues
From A E Lawrence at Tue, 17 Oct 2000 17:32:02 +0100
- Pools in Apache [Was: Aliasing and Garbage Collection]
From Richard Beton at Tue, 17 Oct 2000 17:18:01 +0100
- Re: Blackhole mailing list issues
From Tom Locke at Tue, 17 Oct 2000 16:38:15 +0100
- PCMIA Transputer cards??
From P.H.Welch at Tue, 17 Oct 2000 16:34:54 +0100
- Re: Aliasing and Garbage Collection
From Tom Locke at Tue, 17 Oct 2000 16:32:19 +0100
- Re: Aliasing and Garbage Collection
From Tom Locke at Tue, 17 Oct 2000 16:32:17 +0100
- ABCD at DSSE, Southampton
From Richard Beton at Tue, 17 Oct 2000 13:55:07 +0100
- Re: Blackhole mailing list issues
From A E Lawrence at Tue, 17 Oct 2000 13:33:32 +0100
- Re: Mailing list issues
From A E Lawrence at Tue, 17 Oct 2000 13:19:14 +0100
- Re: Aliasing and Garbage Collection
From B.M. Cook at Tue, 17 Oct 2000 13:19:01 +0100
- Re: A path for CSP-based Solutions towards HUGE Industrial Success.
From M_Boosten at Tue, 17 Oct 2000 12:54:12 +0100
- Observer Pattern
From Tom Locke at Tue, 17 Oct 2000 11:52:40 +0100
- Re: Aliasing and Garbage Collection
From Richard Beton at Tue, 17 Oct 2000 11:51:52 +0100
- Transactions
From Tom Locke at Tue, 17 Oct 2000 11:37:07 +0100
- Mailing list issues
From Tom Locke at Tue, 17 Oct 2000 11:01:04 +0100
- Aliasing and Garbage Collection
From Tom Locke at Tue, 17 Oct 2000 10:54:40 +0100
- New TextPad syntax definitions file for occam
From Richard Beton at Mon, 16 Oct 2000 19:08:10 +0100
- Re: Priority revisited: a new primitive
From A E Lawrence at Sun, 15 Oct 2000 21:32:27 +0100
- Re: OO and CSP
From A E Lawrence at Fri, 13 Oct 2000 16:56:17 +0100
- OO and CSP
From Campbell, John at Fri, 13 Oct 2000 16:42:50 +0100
- Re: Hi (joining list)
From A E Lawrence at Fri, 13 Oct 2000 16:31:54 +0100
- The razor
From A E Lawrence at Fri, 13 Oct 2000 16:18:49 +0100
- Hi (joining list)
From Test at Fri, 13 Oct 2000 12:41:44 +0100
- [Fwd: Priority revisited: a new primitive]
From A E Lawrence at Thu, 12 Oct 2000 16:17:28 +0100
- [Fwd: Priority revisited: a new primitive]
From A E Lawrence at Thu, 12 Oct 2000 15:56:51 +0100
- Re: Priority revisited: a new primitive
From A E Lawrence at Thu, 12 Oct 2000 15:52:42 +0100
- Re: Priority revisited: a new primitive
From B.M. Cook at Thu, 12 Oct 2000 10:44:47 +0100
- Re: Priority revisited: a new primitive
From A E Lawrence at Wed, 11 Oct 2000 13:08:56 +0100
- Re: Priority revisited: a new primitive
From A E Lawrence at Wed, 11 Oct 2000 12:57:23 +0100
- Re: Priority revisited: a new primitive
From p0072370 at Wed, 11 Oct 2000 10:44:19 +0100
- RE: Priority revisited: a new primitive
From Gerald H. Hilderink at Wed, 11 Oct 2000 10:19:43 +0100
- Re: Priority revisited: a new primitive
From A E Lawrence at Wed, 11 Oct 2000 04:37:43 +0100
- Re: Priority revisited: a new primitive
From A E Lawrence at Wed, 11 Oct 2000 04:28:27 +0100
- Re: Priority revisited: a new primitive
From A E Lawrence at Wed, 11 Oct 2000 04:19:30 +0100
- Re: Priority revisited: a new primitive
From Lawrence Dickson at Tue, 10 Oct 2000 17:25:09 +0100
- Re: Priority revisited: a new primitive
From B.M. Cook at Tue, 10 Oct 2000 16:53:06 +0100
- Re: Priority revisited: a new primitive
From A E Lawrence at Tue, 10 Oct 2000 12:41:50 +0100
- Re: Priority revisited: a new primitive
From p0072370 at Tue, 10 Oct 2000 12:35:33 +0100
- RE: Priority revisited: a new primitive
From Gerald Hilderink at Tue, 10 Oct 2000 11:34:37 +0100
- Re: Priority revisited: a new primitive
From p0072370 at Tue, 10 Oct 2000 11:03:57 +0100
- Re: Priority revisited: a new primitive
From B.M. Cook at Tue, 10 Oct 2000 10:25:08 +0100
- Protocol design, Handel-C and Hierarchical State Machines
From Oyvind Teig at Tue, 10 Oct 2000 08:12:57 +0100
- RE: A path for CSP-based Solutions towards HUGE Industrial Succes s.
From O'Neill, Brian at Mon, 9 Oct 2000 11:57:17 +0100
- Re: Priority revisited: a new primitive
From B.M. Cook at Mon, 9 Oct 2000 10:43:08 +0100
- Re: rewriting CSP processes
From B.M. Cook at Mon, 9 Oct 2000 10:09:53 +0100
- Re: For the love of CSP ...
From Lawrence Dickson at Mon, 9 Oct 2000 03:35:10 +0100
- Re: A path for CSP-based
From A E Lawrence at Sun, 8 Oct 2000 17:05:34 +0100
- Re: rewriting CSP processes
From A E Lawrence at Sun, 8 Oct 2000 12:07:13 +0100
- Re: rewriting CSP processes
From A E Lawrence at Sun, 8 Oct 2000 11:51:37 +0100
- Re: rewriting CSP processes
From A E Lawrence at Sun, 8 Oct 2000 00:44:46 +0100
- Re: Unclocked logic / delay insensitive circuits
From A E Lawrence at Sat, 7 Oct 2000 23:46:01 +0100
- Re: pi-calculus
From A E Lawrence at Sat, 7 Oct 2000 23:35:17 +0100
- Re: Priority revisited: a new primitive
From A E Lawrence at Sat, 7 Oct 2000 23:07:51 +0100
- Re: Metastability
From A E Lawrence at Sat, 7 Oct 2000 22:02:23 +0100
- Priority revisited: a new primitive
From A E Lawrence at Sat, 7 Oct 2000 21:43:15 +0100
- RE: A path for CSP-based Solutions towards HUGE Industrial Succes s.
From M_Boosten at Fri, 6 Oct 2000 15:06:19 +0100
- Re: A path for CSP-based Solutions towards HUGE Industrial Success.
From M_Boosten at Fri, 6 Oct 2000 14:11:56 +0100
- Re: A path for CSP-based Solutions towards HUGE Industrial Succes s.
From B.M. Cook at Fri, 6 Oct 2000 12:54:33 +0100
- Re: A path for CSP-based Solutions towards HUGE Industrial Success.
From IanPage99 at Fri, 6 Oct 2000 00:51:42 +0100
- PhD Studentship
From Alastair Allen at Thu, 5 Oct 2000 18:58:44 +0100
- Re: A path for CSP-based Solutions towards HUGE Industrial Success.
From P.H.Welch at Thu, 5 Oct 2000 18:51:49 +0100
- RE: A path for CSP-based Solutions towards HUGE Industrial Succes s.
From Lawrence Dickson at Thu, 5 Oct 2000 18:49:12 +0100
- RE: A path for CSP-based Solutions towards HUGE Industrial Succes s.
From O'Neill, Brian at Thu, 5 Oct 2000 18:20:48 +0100
- Re: A path for CSP-based Solutions towards HUGE Industrial Success.
From Lawrence Dickson at Thu, 5 Oct 2000 17:40:29 +0100
- Re: A path for CSP-based Solutions towards HUGE Industrial Success.
From M_Boosten at Thu, 5 Oct 2000 17:16:35 +0100
- Re: A path for CSP-based Solutions towards HUGE Industrial Success.
From P.H.Welch at Thu, 5 Oct 2000 13:37:28 +0100
- Re: A path for CSP-based Solutions towards HUGE Industrial Success.
From M_Boosten at Thu, 5 Oct 2000 11:39:44 +0100
- Re: A path for CSP-based Solutions towards HUGE Industrial Success.
From B.M. Cook at Thu, 5 Oct 2000 10:33:39 +0100
- A path for CSP-based Solutions towards HUGE Industrial Success.
From M_Boosten at Thu, 5 Oct 2000 09:53:01 +0100
- Re: CSP, usability, profit, Java, etc.
From M_Boosten at Thu, 5 Oct 2000 09:21:48 +0100
- RE: CSP-OZ Backtracking.
From Campbell, John at Mon, 2 Oct 2000 18:56:09 +0100
- RE: rewriting CSP processes
From O'Neill, Brian at Mon, 2 Oct 2000 17:43:13 +0100
- RE: CSP-OZ Backtracking.
From Campbell, John at Mon, 2 Oct 2000 17:42:34 +0100
- Re: rewriting CSP processes
From B.M. Cook at Mon, 2 Oct 2000 12:45:23 +0100
- Re: SPOC for PIC
From Denis A Nicole at Mon, 2 Oct 2000 10:41:54 +0100
- RE: CSP-OZ Backtracking.
From lsfreitas at Sat, 30 Sep 2000 01:00:31 +0100
- RE: CSP-OZ Backtracking.
From Campbell, John at Fri, 29 Sep 2000 22:30:58 +0100
- Re: Making CSP into a success
From Richard Beton at Fri, 29 Sep 2000 18:11:15 +0100
- Re: Making CSP into a success
From Lawrence Dickson at Fri, 29 Sep 2000 17:59:01 +0100
- Re: Making CSP into a success
From M_Boosten at Fri, 29 Sep 2000 15:19:12 +0100
- Re: Making CSP into a success
From M_Boosten at Fri, 29 Sep 2000 14:40:40 +0100
- Making CSP into a success
From Oyvind Teig at Fri, 29 Sep 2000 09:31:33 +0100
- Making CSP into a success
From M_Boosten at Fri, 29 Sep 2000 09:08:20 +0100
- RE: Unclocked logic / delay insensitive circuits
From Campbell, John at Thu, 28 Sep 2000 18:12:28 +0100
- Metastability
From O'Neill, Brian at Thu, 28 Sep 2000 17:57:39 +0100
- Re: rewriting CSP processes
From Lawrence Dickson at Thu, 28 Sep 2000 17:07:26 +0100
- Re: Unclocked logic / delay insensitive circuits
From B.M. Cook at Thu, 28 Sep 2000 12:53:11 +0100
- Re: rewriting CSP processes
From B.M. Cook at Thu, 28 Sep 2000 12:52:05 +0100
- Re: Unclocked logic / delay insensitive circuits
From M_Boosten at Thu, 28 Sep 2000 12:04:43 +0100
- Re: Unclocked logic / delay insensitive circuits
From B.M. Cook at Thu, 28 Sep 2000 10:54:17 +0100
- Re: rewriting CSP processes
From B.M. Cook at Thu, 28 Sep 2000 10:46:29 +0100
- Re: Unclocked logic / delay insensitive circuits
From B.M. Cook at Thu, 28 Sep 2000 10:28:34 +0100
- Re: Unclocked logic / delay insensitive circuits
From M_Boosten at Thu, 28 Sep 2000 10:22:25 +0100
- Re: pi-calculus
From B.M. Cook at Thu, 28 Sep 2000 09:27:39 +0100
- Unclocked logic / delay insensitive circuits
From M_Boosten at Thu, 28 Sep 2000 08:22:24 +0100
- RE: rewriting CSP processes
From Campbell, John at Wed, 27 Sep 2000 18:10:02 +0100
- pi-calculus
From Richard Beton at Wed, 27 Sep 2000 17:48:50 +0100
- Re: rewriting CSP processes
From Michael Goldsmith at Wed, 27 Sep 2000 17:25:23 +0100
- RE: rewriting CSP processes
From Campbell, John at Wed, 27 Sep 2000 17:09:33 +0100
- Re: rewriting CSP processes
From B.M. Cook at Wed, 27 Sep 2000 15:38:53 +0100
- Re: Database transactions, a Higher-level primitive in CSP?
From M_Boosten at Wed, 27 Sep 2000 15:35:19 +0100
- rewriting CSP processes
From Campbell, John at Wed, 27 Sep 2000 14:23:51 +0100
- Re: Synchronous Communication = Swap
From A E Lawrence at Wed, 27 Sep 2000 12:09:45 +0100
- Re: Database transactions, a Higher-level primitive in CSP?
From Richard Beton at Wed, 27 Sep 2000 10:49:05 +0100
- Re: Synchronous Communication = Swap
From M_Boosten at Wed, 27 Sep 2000 09:59:56 +0100
- Re: Database transactions, a Higher-level primitive in CSP?
From M_Boosten at Wed, 27 Sep 2000 09:31:28 +0100
- Re: Synchronous Communication = Swap
From M_Boosten at Wed, 27 Sep 2000 08:45:36 +0100
- Database transactions, a Higher-level primitive in CSP?
From Oyvind Teig at Wed, 27 Sep 2000 07:39:51 +0100
- Database transactions, a Higher-level primitive in CSP?
From M_Boosten at Wed, 27 Sep 2000 07:11:25 +0100
- Re: Synchronous Communication = Swap
From Lawrence Dickson at Tue, 26 Sep 2000 18:10:04 +0100
- Re: Synchronous Communication = Swap
From M_Boosten at Tue, 26 Sep 2000 16:38:48 +0100
- Re: Synchronous Communication = Swap
From A E Lawrence at Tue, 26 Sep 2000 16:20:51 +0100
- Re: Synchronous Communication = Swap
From Richard Beton at Tue, 26 Sep 2000 15:24:55 +0100
- Re: Synchronous Communication = Swap
From A E Lawrence at Tue, 26 Sep 2000 15:06:25 +0100
- Re: CSP and LL-CSP
From A E Lawrence at Tue, 26 Sep 2000 14:46:20 +0100
- Re: Synchronous Communication = Swap
From M_Boosten at Tue, 26 Sep 2000 14:29:55 +0100
- CSP and LL-CSP
From M_Boosten at Tue, 26 Sep 2000 14:27:52 +0100
- Re: Synchronous Communication = Swap
From A E Lawrence at Tue, 26 Sep 2000 13:47:24 +0100
- Re: Synchronous Communication = Swap
From Richard Beton at Tue, 26 Sep 2000 11:22:18 +0100
- Synchronous Communication = Swap
From M_Boosten at Tue, 26 Sep 2000 08:25:42 +0100
- Re: "No aliasing = no garbage collection"
From Oyvind Teig at Tue, 26 Sep 2000 07:48:03 +0100
- TCPP and IPDPS
From Nan C Schaller at Mon, 25 Sep 2000 15:51:55 +0100
- Re: "No aliasing = no garbage collection"
From Lawrence Dickson at Mon, 25 Sep 2000 15:06:11 +0100
- Re: "No aliasing = no garbage collection"
From Oyvind Teig at Mon, 25 Sep 2000 14:49:17 +0100
- Re: "No aliasing = no garbage collection"
From B.M. Cook at Mon, 25 Sep 2000 10:34:32 +0100
- Re: "No aliasing = no garbage collection"
From Oyvind Teig at Mon, 25 Sep 2000 07:26:59 +0100
- Re: "No aliasing = no garbage collection"
From Ruth Ivimey-Cook at Sun, 24 Sep 2000 00:00:07 +0100
- Re: "No aliasing = no garbage collection"
From Lawrence Dickson at Sat, 23 Sep 2000 03:06:31 +0100
- Re: "No aliasing = no garbage collection"
From P.H.Welch at Fri, 22 Sep 2000 18:16:15 +0100
- Re: "No aliasing = no garbage collection"
From Ruth Ivimey-Cook at Fri, 22 Sep 2000 14:26:11 +0100
- Re: "No aliasing = no garbage collection"
From P.H.Welch at Fri, 22 Sep 2000 13:57:38 +0100
- Occam vs Transputers
From Sture Carlson at Fri, 22 Sep 2000 13:56:55 +0100
- Re: "No aliasing = no garbage collection"
From Lawrence Dickson at Fri, 22 Sep 2000 13:48:43 +0100
- Action language semantics
From Oyvind Teig at Fri, 22 Sep 2000 13:31:18 +0100
- Re: "No aliasing = no garbage collection"
From P.H.Welch at Fri, 22 Sep 2000 13:30:18 +0100
- Re: "No aliasing = no garbage collection"
From M_Boosten at Fri, 22 Sep 2000 12:21:15 +0100
- "No aliasing = no garbage collection"
From Oyvind Teig at Fri, 22 Sep 2000 09:31:33 +0100
- The future of embedded systems...
From Alastair Allen at Tue, 19 Sep 2000 10:59:57 +0100
- NEW CTJ 0.9 rev. 17
From Gerald H. Hilderink at Mon, 18 Sep 2000 22:27:15 +0100
- Re: ALTs on inputs and outputs
From A E Lawrence at Sat, 19 Aug 2000 13:08:52 +0100
- New JCSP release
From P.H.Welch at Thu, 17 Aug 2000 21:26:40 +0100
- Timed CSP
From Oyvind Teig at Thu, 17 Aug 2000 11:15:05 +0100
- CPA-2000 papers & timetable
From P.H.Welch at Tue, 15 Aug 2000 21:06:18 +0100
- Re: ALTs on inputs and outputs
From P.H.Welch at Tue, 15 Aug 2000 17:34:05 +0100
- Communicating Process Architectures 2000
From P.H.Welch at Wed, 2 Aug 2000 18:57:21 +0100
- Formal Java?
From Dyke Stiles at Fri, 23 Jun 2000 22:37:24 +0100
- Safer multitasking with CSP
From Oyvind Teig at Tue, 20 Jun 2000 15:01:29 +0100
- Re: Safer multitasking with CSP
From B.M. Cook at Thu, 15 Jun 2000 17:17:50 +0100
- KRoC version 1.2.3 for Linux released
From Frederick Barnes at Wed, 14 Jun 2000 17:09:53 +0100
- Safer multitasking with CSP
From Oyvind Teig at Wed, 14 Jun 2000 12:42:19 +0100
- Final Call for Papers : CPA-2000
From P.H.Welch at Wed, 7 Jun 2000 10:01:09 +0100
- Final Call For Participation: Las Vegas, June 26-29, PDPTA + etc.
From P.H.Welch at Wed, 7 Jun 2000 09:58:38 +0100
- Re: occam: out ! 0 :: "" semantics
From P.H.Welch at Thu, 25 May 2000 10:28:01 +0100
- occam: out ! 0 :: "" semantics
From Oyvind Teig at Thu, 25 May 2000 09:59:55 +0100
- RE: Enschede
From Gerald H. Hilderink at Mon, 15 May 2000 12:33:15 +0100
- Enschede
From A E Lawrence at Sun, 14 May 2000 10:27:59 +0100
- New KRoC/Linux release (1.2.2)
From P.H.Welch at Fri, 5 May 2000 12:01:00 +0100
- Re: ALTing select mechanism implementation
From P.H.Welch at Thu, 4 May 2000 14:12:26 +0100
- A floating world
From Oyvind Teig at Thu, 4 May 2000 10:58:27 +0100
- A floating world
From Oyvind Teig at Thu, 4 May 2000 09:49:17 +0100
- Re: A floating world
From D.C.Wood at Thu, 4 May 2000 09:48:13 +0100
- A floating world
From Oyvind Teig at Thu, 4 May 2000 09:05:55 +0100
- Re: CriticalSection in VisaulC++ in C
From johan . sunter at Tue, 2 May 2000 10:55:00 +0100
- Re: CriticalSection in VisaulC++ in C
From Oyvind Teig at Tue, 2 May 2000 10:22:42 +0100
- CSP, Z and Java: thesis
From A E Lawrence at Thu, 27 Apr 2000 22:37:21 +0100
- Re: CriticalSection in VisaulC++ in C
From Dyke Stiles at Thu, 27 Apr 2000 17:19:38 +0100
- Re: CriticalSection in VisaulC++ in C
From Jim Moores at Thu, 27 Apr 2000 11:26:19 +0100
- CriticalSection in VisaulC++ in C
From Oyvind Teig at Thu, 27 Apr 2000 08:43:29 +0100
- INMOS B011
From Martin Paul F (SEC) at Wed, 19 Apr 2000 16:49:38 +0100
- Re: Inmos C Toolset
From Richard Beton at Thu, 13 Apr 2000 10:19:37 +0100
- Inmos C Toolset
From Richard Beton at Wed, 12 Apr 2000 17:49:54 +0100
- Re: Kroc for Win98/WinNT?
From Richard Beton at Wed, 12 Apr 2000 16:15:47 +0100
- Re: Kroc for Win98/WinNT?
From J.Moores at Wed, 12 Apr 2000 16:05:18 +0100
- Kroc for Win98/WinNT?
From Richard Beton at Wed, 12 Apr 2000 15:27:39 +0100
- Re: PAR SKIP or PAR PAR SKIP?
From johan . sunter at Wed, 12 Apr 2000 12:51:38 +0100
- Re: The dangers of priority inheritance
From Richard Beton at Wed, 12 Apr 2000 12:47:35 +0100
- Re: PAR SKIP or PAR SKIP SKIP ?
From P.H.Welch at Wed, 12 Apr 2000 12:39:16 +0100
- PAR SKIP or PAR SKIP SKIP ?
From Oyvind Teig at Wed, 12 Apr 2000 11:56:35 +0100
- Re: The dangers of priority inheritance
From Oyvind Teig at Wed, 12 Apr 2000 07:52:43 +0100
- Re: The dangers of priority inheritance
From Frederick Barnes at Tue, 11 Apr 2000 21:53:17 +0100
- Re: The dangers of priority inheritance
From A E Lawrence at Tue, 11 Apr 2000 21:17:37 +0100
- The dangers of priority inheritance
From Oyvind Teig at Tue, 11 Apr 2000 10:38:07 +0100
- Priority inversion and CSP channels?
From Oyvind Teig at Mon, 10 Apr 2000 09:16:36 +0100
- Re: Self-deadlock
From Ian East at Wed, 5 Apr 2000 20:39:45 +0100
- Re: Self-deadlock
From Stephen Maudsley, esgem at Wed, 5 Apr 2000 14:56:13 +0100
- Re: Self-deadlock
From Denis A Nicole at Wed, 5 Apr 2000 12:20:04 +0100
- Re: Self-deadlock
From P.H.Welch at Wed, 5 Apr 2000 11:45:34 +0100
- Re: Self-deadlock
From Denis A Nicole at Tue, 4 Apr 2000 19:19:54 +0100
- Spoc - was: Self-deadlock
From Richard Beton at Tue, 4 Apr 2000 18:24:31 +0100
- Re: Self-deadlock
From Frederick Barnes at Tue, 4 Apr 2000 18:18:46 +0100
- Self-deadlock
From Oyvind Teig at Tue, 4 Apr 2000 17:13:44 +0100
- CSP & Object orientation
From Oyvind Teig at Mon, 27 Mar 2000 09:23:11 +0100
- CFP: Reliable Distributed Systems
From G. S. Stiles at Sun, 26 Mar 2000 00:29:37 +0000
- Communicating Process Architectures - 2000 (WoTUG-23)
From P.H.Welch at Fri, 24 Mar 2000 12:37:06 +0000
- UML Point/Counterpoint: Mellor vs. Selic
From Oyvind Teig at Mon, 13 Mar 2000 08:01:03 +0000
- Re: Next WoTUG conference (the 23rd.)
From Ruth Ivimey-Cook at Sun, 5 Mar 2000 23:03:13 +0000
- Re: Name Change for WoTUG?
From Lawrence Dickson at Sat, 4 Mar 2000 16:57:59 +0000
- Re: Name Change for WoTUG?
From Adrian Lawrence at Fri, 3 Mar 2000 20:37:36 +0000
- Re: Name Change for WoTUG?
From Alastair Allen at Fri, 3 Mar 2000 18:13:21 +0000
- Re: Name Change for WoTUG?
From Alastair Allen at Fri, 3 Mar 2000 18:06:08 +0000
- Re: Name Change for WoTUG?
From Lawrence Dickson at Fri, 3 Mar 2000 17:53:34 +0000
- Re: Name Change for WoTUG?
From Richard Beton at Fri, 3 Mar 2000 17:41:19 +0000
- Re: Name Change for WoTUG?
From Ian East at Fri, 3 Mar 2000 17:22:23 +0000
- RE: Name Change for WoTUG?
From O'Neill, Brian at Fri, 3 Mar 2000 14:53:34 +0000
- Re: x2AnyChannels do not allow alting
From P.H.Welch at Fri, 3 Mar 2000 12:19:01 +0000
- WoTUG name and conferences
From P.H.Welch at Fri, 3 Mar 2000 12:15:49 +0000
- Name Change for WoTUG?
From Oyvind Teig at Fri, 3 Mar 2000 12:15:28 +0000
- Name Change for WoTUG?
From Oyvind Teig at Fri, 3 Mar 2000 12:07:13 +0000
- Re: WoTUG name and conferences
From B.M. Cook at Fri, 3 Mar 2000 12:06:35 +0000
- Re: x2AnyChannels do not allow alting
From Michael Goldsmith at Fri, 3 Mar 2000 11:50:09 +0000
- Re: x2AnyChannels do not allow alting
From P.H.Welch at Fri, 3 Mar 2000 10:04:49 +0000
- RE: Next WoTUG conference (the 23rd.)
From P.H.Welch at Fri, 3 Mar 2000 09:56:11 +0000
- RE: Loosing abstraction due to non-alting channels
From P.H.Welch at Thu, 2 Mar 2000 17:56:47 +0000
- Next WoTUG conference (the 23rd.)
From P.H.Welch at Thu, 2 Mar 2000 16:48:43 +0000
- RE: x2AnyChannels do not allow alting
From P.H.Welch at Thu, 2 Mar 2000 16:47:08 +0000
- RE: Loosing abstraction due to non-alting channels
From Gerald H. Hilderink at Mon, 21 Feb 2000 09:57:37 +0000
- Loosing abstraction due to non-alting channels
From M_Boosten at Fri, 18 Feb 2000 09:39:21 +0000
- RE: x2AnyChannels do not allow alting
From M_Boosten at Fri, 18 Feb 2000 09:16:58 +0000
- RE: x2AnyChannels do not allow alting
From P.H.Welch at Thu, 17 Feb 2000 20:03:05 +0000
- Priorities of the ALT and PRIALT are under the presence of the PRIPAR
From Gerald Hilderink at Thu, 27 Jan 2000 21:16:07 +0000
- Re: occam 2.1 / 2.5 definition
From Richard Beton at Thu, 27 Jan 2000 10:57:52 +0000
- occam 2.1 / 2.5 definition
From B.M. Cook at Thu, 27 Jan 2000 10:57:45 +0000
- [Fwd: [rtl] What kind of sharing is intended/supported for rtfifos?]]
From A E Lawrence at Wed, 26 Jan 2000 22:57:17 +0000
- SpaceWire meeting
From Paul Walker at Tue, 18 Jan 2000 15:29:10 +0000
- Book announcement
From P.H.Welch at Fri, 14 Jan 2000 15:44:37 +0000
- Re: Abbreviation of arrays, scope.
From Oyvind Teig at Mon, 3 Jan 2000 10:51:14 +0000
- Re: Meiko glitches...
From Denis A Nicole at Thu, 23 Dec 1999 16:29:13 +0000
- Meiko glitches...
From eng267 at Thu, 23 Dec 1999 11:46:37 +0000
- Re: Abbreviation of arrays, scope.
From Michael Poole at Wed, 22 Dec 1999 18:49:46 +0000
- Meiko glitches...
From Dyke Stiles at Wed, 22 Dec 1999 18:47:33 +0000
- WoTUG-23 Final CFP
From P.H.Welch at Wed, 22 Dec 1999 13:36:26 +0000
- Abbreviation of arrays, scope.
From Lee Benfield at Tue, 21 Dec 1999 22:22:34 +0000
- Computer Weekly - 25th Nov 99
From Richard Beton at Thu, 25 Nov 1999 17:22:22 +0000
- Re: WoTUG
From Lawrence Dickson at Sun, 7 Nov 1999 03:40:49 +0000
- Re: WoTUG
From Roger Peel at Mon, 1 Nov 1999 19:21:47 +0000
- Re: WoTUG
From Lawrence Dickson at Sat, 30 Oct 1999 05:12:24 +0100
- RE: WoTUG renaming
From Ian East at Tue, 26 Oct 1999 12:31:48 +0100
- RE: WoTUG
From Hilderink, G.H. at Tue, 26 Oct 1999 09:47:42 +0100
- RE: Parallel Concurrency in Real-Time
From Campbell, John at Mon, 25 Oct 1999 18:46:17 +0100
- RE: Parallel Concurrency in Real-Time
From Campbell, John at Mon, 25 Oct 1999 18:18:22 +0100
- Re: Parallel Concurrency in Real-Time
From Ruth Ivimey-Cook at Sat, 23 Oct 1999 11:31:32 +0100
- Re: Parallel Concurrency in Real-Time
From Lawrence Dickson at Fri, 22 Oct 1999 21:02:59 +0100
- RE: Parallel Concurrency in Real-Time
From Tony Gore at Fri, 22 Oct 1999 09:33:08 +0100
- Re: JCSP 0.94 release
From Richard Beton at Fri, 22 Oct 1999 09:06:09 +0100
- Parallel Concurrency in Real-Time
From Oyvind Teig at Fri, 22 Oct 1999 08:37:14 +0100
- PDPTA'2000 etc.
From P.H.Welch at Fri, 15 Oct 1999 15:41:56 +0100
- JCSP 0.94 release
From P.H.Welch at Thu, 14 Oct 1999 17:49:03 +0100
- Re: Can Java be one-upped?
From Lawrence Dickson at Fri, 10 Sep 1999 21:34:04 +0100
- Re: transputer class
From Dyke Stiles at Tue, 7 Sep 1999 17:50:12 +0100
- transputer class
From Lawrence Dickson at Tue, 7 Sep 1999 17:29:03 +0100
- Re: CSP library for VxWorks/Posix
From P.H.Welch at Thu, 2 Sep 1999 14:12:06 +0100
- CSP library for VxWorks/Posix
From Oyvind Teig at Tue, 31 Aug 1999 08:24:05 +0100
- IDL as common interface
From Oyvind Teig at Thu, 26 Aug 1999 13:33:28 +0100
- IDL as common interface
From Oyvind Teig at Thu, 26 Aug 1999 12:12:30 +0100
- Web archive
From P.H.Welch at Mon, 23 Aug 1999 14:57:37 +0100
- Re: A CSP model for Java threads
From Denis A Nicole at Tue, 17 Aug 1999 16:13:56 +0100
- Priority Ceiling Protocol totally eliminates deadlock
From Oyvind Teig at Mon, 16 Aug 1999 09:13:48 +0100
- Re: A CSP model for Java threads
From Lawrence Dickson at Fri, 13 Aug 1999 19:47:20 +0100
- RE: Disable interrupts in critical sections?
From Tony Gore at Tue, 10 Aug 1999 19:33:08 +0100
- Re: A CSP model for Java threads
From Bryan Scattergood at Tue, 10 Aug 1999 16:11:10 +0100
- Re: Disable interrupts in critical sections?
From B.M. Cook at Tue, 10 Aug 1999 15:27:05 +0100
- Disable interrupts in critical sections?
From Oyvind Teig at Tue, 10 Aug 1999 14:58:03 +0100
- Re: A CSP model for Java threads
From Jeremy Martin at Tue, 10 Aug 1999 12:37:20 +0100
- Re: A CSP model for Java threads
From Oyvind Teig at Tue, 10 Aug 1999 12:33:12 +0100
- Re: A CSP model for Java threads
From Bryan Scattergood at Tue, 10 Aug 1999 12:12:21 +0100
- Finishing off the proof of JCSP
From Jeremy Martin at Sun, 8 Aug 1999 20:38:53 +0100
- Re: A CSP model for Java threads
From P.H.Welch at Fri, 6 Aug 1999 23:25:05 +0100
- Re: Something for the weekend ...
From P.H.Welch at Fri, 6 Aug 1999 17:48:32 +0100
- Re: A CSP model for Java threads
From Jeremy Martin at Thu, 5 Aug 1999 13:43:26 +0100
- Re: A CSP model for Java threads
From Jeremy Martin at Thu, 5 Aug 1999 11:55:13 +0100
- Re: A CSP model for Java threads
From P.H.Welch at Wed, 4 Aug 1999 20:02:18 +0100
- A CSP model for Java threads - a subtle point
From Jeremy Martin at Tue, 3 Aug 1999 16:42:57 +0100
- Re: A CSP model for Java threads
From Jeremy Martin at Fri, 30 Jul 1999 15:47:15 +0100
- RE: Channels versus Methods
From P.H.Welch at Fri, 9 Jul 1999 18:48:28 +0100
- RE: Channels versus Methods
From P.H.Welch at Fri, 9 Jul 1999 18:39:52 +0100
- RE: Channels versus Methods
From Gerald Hilderink at Fri, 9 Jul 1999 10:32:43 +0100
- RE: Channels versus Methods
From P.H.Welch at Thu, 8 Jul 1999 19:10:42 +0100
- RE: Channels versus Methods
From P.H.Welch at Thu, 8 Jul 1999 18:53:41 +0100
- other CALL channel
From Gerald Hilderink at Thu, 8 Jul 1999 15:11:41 +0100
- RE: Channels versus Methods
From Umland, Thomas at Fri, 2 Jul 1999 13:29:42 +0100
- RE: Channels versus Methods
From Gerald Hilderink at Thu, 1 Jul 1999 15:41:18 +0100
- Mobile variables
From Adrian Lawrence at Thu, 1 Jul 1999 14:53:14 +0100
- Re: Channels versus Methods
From Richard Beton at Thu, 1 Jul 1999 10:15:58 +0100
- Re: Mobile variables
From Oyvind Teig at Thu, 1 Jul 1999 08:38:32 +0100
- Re: Channels versus Methods
From Thomas Umland at Wed, 30 Jun 1999 23:24:32 +0100
- Re: Mobile variables
From Adrian Lawrence at Wed, 30 Jun 1999 18:53:20 +0100
- CALL Channels in Java
From Hilderink, G.H. at Wed, 30 Jun 1999 12:30:11 +0100
- Re: Mobile variables
From Richard Beton at Wed, 30 Jun 1999 09:19:04 +0100
- Re: Mobile variables
From A E Lawrence at Tue, 29 Jun 1999 14:52:36 +0100
- Mobile variables
From Adrian Lawrence at Tue, 29 Jun 1999 14:01:58 +0100
- RE: Channels versus Methods
From P.H.Welch at Mon, 28 Jun 1999 16:23:14 +0100
- Re: Mobile variables
From B.M. Cook at Mon, 28 Jun 1999 16:00:38 +0100
- RE: Channels versus Methods
From Umland, Thomas at Mon, 28 Jun 1999 09:00:35 +0100
- AN APPEAL TO COMMON SENSE
From Per Brinch Hansen at Sun, 27 Jun 1999 02:06:06 +0100
- [Fwd: Mobile variables]
From A E Lawrence at Sat, 26 Jun 1999 22:23:58 +0100
- Re: Mobile variables
From A E Lawrence at Sat, 26 Jun 1999 21:35:55 +0100
- Re: Mobile variables
From A E Lawrence at Sat, 26 Jun 1999 21:14:27 +0100
- Channels versus Methods
From P.H.Welch at Fri, 25 Jun 1999 12:59:08 +0100
- Re: Mobile variables
From Lawrence Dickson at Thu, 24 Jun 1999 17:24:21 +0100
- Re: Mobile variables
From Richard Beton at Thu, 24 Jun 1999 14:05:23 +0100
- Re:FYI- JProbe Threadalyzer
From Oyvind Teig at Thu, 24 Jun 1999 07:28:20 +0100
- Re: Mobile variables
From Lawrence Dickson at Wed, 23 Jun 1999 23:52:07 +0100
- Re: Mobile variables
From Adrian Lawrence at Wed, 23 Jun 1999 21:33:11 +0100
- Re: Mobile variables
From A E Lawrence at Wed, 23 Jun 1999 18:53:31 +0100
- Re:FYI- JProbe Threadalyzer
From P.H.Welch at Wed, 23 Jun 1999 15:21:37 +0100
- Re: Mobile variables
From P.H.Welch at Wed, 23 Jun 1999 12:13:24 +0100
- Mobile Variables
From Adrian Lawrence at Wed, 23 Jun 1999 10:59:40 +0100
- Re: Mobile variables
From Paddy Nixon at Wed, 23 Jun 1999 09:26:47 +0100
- Re: Mobile variables
From Paddy Nixon at Wed, 23 Jun 1999 08:55:36 +0100
- Mobile variables
From Adrian Lawrence at Tue, 22 Jun 1999 19:29:21 +0100
- Copy of Article!
From valjr at Thu, 17 Jun 1999 09:50:42 +0100
- Re: CSP and Petri nets?
From Jon Kerridge at Mon, 14 Jun 1999 11:53:03 +0100
- Re: CSP and Petri nets?
From P.H.Welch at Fri, 11 Jun 1999 12:34:32 +0100
- CSP and Petri nets?
From dyke at Fri, 11 Jun 1999 00:10:11 +0100
- Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA
From Denis A Nicole at Wed, 9 Jun 1999 11:20:50 +0100
- Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA
From Oyvind Teig at Wed, 9 Jun 1999 06:51:12 +0100
- Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA
From P.H.Welch at Tue, 8 Jun 1999 18:51:13 +0100
- Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA
From Adrian Lawrence at Mon, 7 Jun 1999 20:41:08 +0100
- Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA
From Adrian Lawrence at Mon, 7 Jun 1999 19:52:00 +0100
- Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA
From Richard Beton at Mon, 7 Jun 1999 12:54:00 +0100
- Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA
From Denis A Nicole at Mon, 7 Jun 1999 10:29:29 +0100
- Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA
From Adrian Lawrence at Sun, 6 Jun 1999 17:49:32 +0100
- Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA
From Lawrence Dickson at Sun, 6 Jun 1999 17:07:18 +0100
- Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA
From Adrian Lawrence at Fri, 4 Jun 1999 21:43:06 +0100
- Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA
From Denis A Nicole at Fri, 4 Jun 1999 15:29:16 +0100
- Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA
From Christopher C R Jones at Fri, 28 May 1999 10:47:06 +0100
- Folding editor
From Oyvind Teig at Fri, 28 May 1999 08:16:59 +0100
- Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA
From P.H.Welch at Wed, 26 May 1999 09:36:21 +0100
- RE: You must read this (20 May 99)
From Tony Gore at Tue, 25 May 1999 12:59:42 +0100
- Re: You must read this (20 May 99)
From B.M. Cook at Tue, 25 May 1999 08:37:38 +0100
- Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA
From P.H.Welch at Mon, 24 May 1999 20:16:48 +0100
- Re: You must read this (20 May 99)
From P.H.Welch at Mon, 24 May 1999 20:01:17 +0100
- Re: You must read this
From Christopher C R Jones at Mon, 24 May 1999 16:54:42 +0100
- PARALLEL RECURSION
From Per Brinch Hansen at Mon, 24 May 1999 03:07:08 +0100
- OCCAM, JOYCE, SUPERPASCAL AND JAVA
From Per Brinch Hansen at Sun, 23 May 1999 00:01:47 +0100
- Re: You must read this: Brinch Hansen Java book
From G. S. Stiles at Sat, 22 May 1999 04:27:27 +0100
- Re: You must read this
From Jon Kerridge at Fri, 21 May 1999 11:55:16 +0100
- OUG Newsletters
From Ian East at Fri, 21 May 1999 10:21:51 +0100
- Re: You must read this
From Oyvind Teig at Fri, 21 May 1999 06:59:18 +0100
- Re: You must read this
From Richard Beton at Thu, 20 May 1999 18:03:15 +0100
- Re: You must read this
From P.H.Welch at Thu, 20 May 1999 17:29:38 +0100
- Re: You must read this
From Richard Beton at Tue, 18 May 1999 16:29:10 +0100
- You must read this
From B.M. Cook at Tue, 18 May 1999 15:57:28 +0100
- Re: CSP for OS?
From Lawrence Dickson at Mon, 10 May 1999 22:01:58 +0100
- Re: CSP for OS?
From Richard Beton at Mon, 10 May 1999 18:29:32 +0100
- perfect fit?
From Lawrence Dickson at Thu, 6 May 1999 15:18:57 +0100
- Re: Dynamic Priority
From A E Lawrence at Thu, 29 Apr 1999 19:44:56 +0100
- CSP for hardware design
From Campbell, John at Thu, 29 Apr 1999 16:21:11 +0100
- Dynamic Priority
From Adrian Lawrence at Thu, 29 Apr 1999 02:34:31 +0100
- Occam TIMERs - was Dynamic Priority
From Roger Peel at Wed, 28 Apr 1999 15:25:13 +0100
- Dynamic Priority
From Adrian Lawrence at Wed, 28 Apr 1999 11:23:12 +0100
- Dynamic Priority
From Adrian Lawrence at Tue, 27 Apr 1999 19:08:16 +0100
- Re: Dynamic Priority
From Richard Beton at Tue, 27 Apr 1999 17:54:53 +0100
- Re: Re design & checking tools
From Bryan Scattergood at Tue, 27 Apr 1999 11:44:40 +0100
- Dynamic Priority
From Adrian Lawrence at Tue, 27 Apr 1999 07:54:39 +0100
- RE: Dynamic Priority
From Oyvind Teig at Tue, 27 Apr 1999 07:06:27 +0100
- Re: Is PRI PAR useful for hardware?
From Lawrence Dickson at Tue, 27 Apr 1999 00:47:01 +0100
- RE: Dynamic Priority
From Gerald Hilderink at Mon, 26 Apr 1999 23:14:56 +0100
- Re: Is PRI PAR useful for hardware?
From B.M. Cook at Mon, 26 Apr 1999 21:44:26 +0100
- Dynamic Priority
From Adrian Lawrence at Mon, 26 Apr 1999 20:26:30 +0100
- Re: Dynamic composition constructs
From Adrian Lawrence at Mon, 26 Apr 1999 16:16:20 +0100
- Dynamic composition constructs
From Gerald Hilderink at Mon, 26 Apr 1999 11:44:39 +0100
- Dynamic Priority
From Gerald Hilderink at Mon, 26 Apr 1999 10:55:44 +0100
- Re:Dynamic Priority
From Oyvind Teig at Mon, 26 Apr 1999 07:00:12 +0100
- Dynamic Priority
From Adrian Lawrence at Mon, 26 Apr 1999 06:34:57 +0100
- Dynamic Priority
From Adrian Lawrence at Mon, 26 Apr 1999 06:34:05 +0100
- Checking (Was: Re: New Book: CONCURRENCY)
From Ruth Ivimey-Cook at Sun, 25 Apr 1999 18:31:47 +0100
- Re: Re design & checking tools
From Ruth Ivimey-Cook at Sun, 25 Apr 1999 18:31:40 +0100
- Dynamic Priority
From Adrian Lawrence at Sun, 25 Apr 1999 16:04:30 +0100
- Dynamic Priority
From Adrian Lawrence at Sat, 24 Apr 1999 23:17:12 +0100
- Re: Is PRI PAR useful for hardware?
From A E Lawrence at Fri, 23 Apr 1999 20:39:24 +0100
- Re: Is PRI PAR useful for hardware?
From Roger Peel at Fri, 23 Apr 1999 19:41:18 +0100
- design & checking tools
From Andre Bakkers at Thu, 22 Apr 1999 14:34:28 +0100
- Re: Re design & checking tools
From Bryan Scattergood at Thu, 22 Apr 1999 13:16:33 +0100
- Re design & checking tools
From p0072370 at Thu, 22 Apr 1999 11:20:56 +0100
- Yet another Java concurrency book?
From p0072370 at Thu, 22 Apr 1999 10:47:28 +0100
- Re: New Book: CONCURRENCY
From Jeremy Martin at Thu, 22 Apr 1999 10:01:00 +0100
- Re: New Book: CONCURRENCY
From Oyvind Teig at Thu, 22 Apr 1999 07:45:20 +0100
- Re: New Book: CONCURRENCY
From Denis A Nicole at Wed, 21 Apr 1999 15:56:00 +0100
- Re: New Book: CONCURRENCY
From Bryan Scattergood at Wed, 21 Apr 1999 12:47:33 +0100
- Re: New Book: CONCURRENCY
From Oyvind Teig at Wed, 21 Apr 1999 11:25:35 +0100
- Re: New Book: CONCURRENCY
From Denis A Nicole at Wed, 21 Apr 1999 10:43:31 +0100
- Re: New Book: CONCURRENCY
From Oyvind Teig at Wed, 21 Apr 1999 07:42:10 +0100
- Dynamic Priority
From Adrian Lawrence at Wed, 21 Apr 1999 06:01:56 +0100
- Is PRI PAR useful for hardware?
From Adrian Lawrence at Wed, 21 Apr 1999 06:00:16 +0100
- Re: New Book: CONCURRENCY
From Lawrence Dickson at Tue, 20 Apr 1999 19:52:46 +0100
- Re: New Book: CONCURRENCY
From p0072370 at Tue, 20 Apr 1999 13:38:44 +0100
- Re: New Book: CONCURRENCY
From Rick Beton at Tue, 20 Apr 1999 10:02:11 +0100
- Re: New Book: CONCURRENCY
From Oyvind Teig at Tue, 20 Apr 1999 06:58:49 +0100
- Re: New Book: CONCURRENCY
From Ian East at Mon, 19 Apr 1999 15:20:43 +0100
- Re: New Book: CONCURRENCY
From P.H.Welch at Mon, 19 Apr 1999 13:05:39 +0100
- New Book: CONCURRENCY
From Oyvind Teig at Mon, 19 Apr 1999 10:36:49 +0100
- Conflicting Priorities in CSPP
From Adrian Lawrence at Sat, 17 Apr 1999 22:02:20 +0100
- GNU EDA
From Adrian Lawrence at Sat, 17 Apr 1999 12:08:56 +0100
- freehdl
From Adrian Lawrence at Sat, 17 Apr 1999 12:06:34 +0100
- F-CPU URL
From Adrian Lawrence at Sat, 17 Apr 1999 12:04:31 +0100
- Formal Techniques for Java
From Adrian Lawrence at Fri, 16 Apr 1999 23:22:21 +0100
- opendesign
From Adrian Lawrence at Fri, 16 Apr 1999 22:54:22 +0100
- Re: SIMPL
From Adrian Lawrence at Fri, 16 Apr 1999 22:23:20 +0100
- Re: SIMPL
From eng267 at Fri, 16 Apr 1999 10:04:39 +0100
- SIMPL
From Adrian Lawrence at Thu, 15 Apr 1999 23:52:03 +0100
- Re: CSPP - dressed semantics.
From Adrian Lawrence at Thu, 8 Apr 1999 21:02:59 +0100
- CSPP - dressed semantics.
From Adrian Lawrence at Wed, 7 Apr 1999 19:53:15 +0100
- Yahoo
From Rick Beton at Wed, 31 Mar 1999 14:22:07 +0100
- Alpha EV8
From J.Moores at Tue, 30 Mar 1999 15:46:23 +0100
- Re: A CSP model for Java threads
From P . H . Welch at Tue, 30 Mar 1999 12:15:32 +0100
- Re: A CSP model for Java threads
From P . H . Welch at Mon, 29 Mar 1999 17:40:20 +0100
- Re: A CSP model for Java threads
From P . H . Welch at Mon, 29 Mar 1999 17:18:10 +0100
- Re: A CSP model for Java threads
From Jeremy Martin at Mon, 29 Mar 1999 17:02:10 +0100
- Re: A CSP model for Java threads
From Jeremy Martin at Mon, 29 Mar 1999 15:17:51 +0100
- Re: A CSP model for Java threads
From Rick Beton at Fri, 26 Mar 1999 17:48:07 GMT
- A CSP model for Java threads
From P.H.Welch at Fri, 26 Mar 1999 17:33:19 GMT
- Great and usefule...
From Gerald Hilderink at Thu, 25 Mar 1999 11:14:13 GMT
- RE: It was a stressing weekend!
From Oyvind Teig at Thu, 25 Mar 1999 10:09:59 GMT
- RE: It was a stressing weekend!
From Gerald Hilderink at Thu, 25 Mar 1999 09:41:32 GMT
- Re:It was a stressing weekend!
From Oyvind Teig at Thu, 25 Mar 1999 07:36:52 GMT
- It was a stressing weekend!
From Gerald Hilderink at Wed, 24 Mar 1999 22:52:18 GMT
- Re: Conflicting Priorities in occam
From Adrian Lawrence at Sat, 20 Mar 1999 18:20:31 GMT
- Something for the weekend ...
From P . H . Welch at Fri, 19 Mar 1999 18:24:55 GMT
- Re: Conflicting Priorities in occam
From Denis A Nicole at Wed, 17 Mar 1999 18:50:51 GMT
- Re: Conflicting Priorities in occam
From Denis A Nicole at Wed, 17 Mar 1999 17:42:38 GMT
- Conflicting Priorities in occam
From Adrian Lawrence at Thu, 11 Mar 1999 23:19:26 GMT
- Re: Conflicting Priorities in occam
From Adrian Lawrence at Wed, 10 Mar 1999 18:54:47 GMT
- Re: Conflicting Priorities in occam
From Adrian Lawrence at Wed, 10 Mar 1999 18:50:27 GMT
- Conflicting Priorities in occam
From Adrian Lawrence at Tue, 9 Mar 1999 15:58:19 GMT
- RA and PhD student wanted
From Jon Kerridge at Tue, 9 Mar 1999 09:15:11 GMT
- Conflicting Priorities in occam
From Adrian Lawrence at Mon, 8 Mar 1999 23:54:35 GMT
- Re: Balking and JVM 1.2 vs. 1.1.5
From Oyvind Teig at Mon, 8 Mar 1999 08:08:39 GMT
- Balking and JVM 1.2 vs. 1.1.5
From Oyvind Teig at Fri, 5 Mar 1999 08:08:23 GMT
- Conflicting Priorities in occam
From Adrian Lawrence at Thu, 4 Mar 1999 11:36:48 GMT
- Conflicting Priorities in occam
From A E Lawrence at Thu, 4 Mar 1999 08:03:18 GMT
- Re: Priorities in SPoC
From A E Lawrence at Wed, 3 Mar 1999 22:36:31 GMT
- Re: Priorities in SPoC
From A E Lawrence at Wed, 3 Mar 1999 20:15:34 GMT
- Re: Conflicting Priorities in occam
From james_wolffe at Wed, 3 Mar 1999 13:43:47 GMT
- Conflicting Priorities in occam
From Adrian Lawrence at Wed, 3 Mar 1999 12:58:13 GMT
- Conflicting Priorities in occam
From Adrian Lawrence at Wed, 3 Mar 1999 07:49:01 GMT
- Re: Conflicting Priorities in occam
From Adrian Lawrence at Tue, 2 Mar 1999 23:27:20 GMT
- Re: Conflicting Priorities in occam
From P.H.Welch at Tue, 2 Mar 1999 21:21:56 GMT
- Re: Conflicting Priorities in occam
From P.H.Welch at Tue, 2 Mar 1999 21:20:58 GMT
- Re: Conflicting Priorities in occam
From P.H.Welch at Tue, 2 Mar 1999 21:20:23 GMT
- Re: Conflicting Priorities in occam
From P.H.Welch at Tue, 2 Mar 1999 21:18:22 GMT
- Priority in SPoC
From Adrian Lawrence at Tue, 2 Mar 1999 20:07:43 GMT
- Re: Conflicting Priorities in occam
From A E Lawrence at Tue, 2 Mar 1999 19:32:43 GMT
- Conflicting Priorities in occam
From A E Lawrence at Tue, 2 Mar 1999 19:21:17 GMT
- Re: Conflicting Priorities in occam
From Lawrence Dickson at Tue, 2 Mar 1999 14:59:32 GMT
- 22K of postscript: Interrupt operator of CSPP
From Adrian Lawrence at Tue, 2 Mar 1999 11:30:58 GMT
- Conflicting Priorities in occam
From Adrian Lawrence at Tue, 2 Mar 1999 11:30:29 GMT
- Re: Priorities in SPoC
From Denis A Nicole at Tue, 2 Mar 1999 09:28:09 GMT
- Re: Conflicting Priorities in occam
From Oyvind Teig at Tue, 2 Mar 1999 07:32:16 GMT
- 28K of postscript: Conflicting Priorities in occam
From Adrian Lawrence at Tue, 2 Mar 1999 00:22:07 GMT
- Re: Conflicting Priorities in occam
From Adrian Lawrence at Mon, 1 Mar 1999 23:37:05 GMT
- Re: Conflicting Priorities in occam
From Adrian Lawrence at Mon, 1 Mar 1999 22:33:36 GMT
- Re: Conflicting Priorities in occam
From Lawrence Dickson at Mon, 1 Mar 1999 22:11:06 GMT
- Re[2]: Conflicting Priorities in occam
From james_wolffe at Mon, 1 Mar 1999 18:22:41 GMT
- Re: Conflicting Priorities in occam
From B.M. Cook at Mon, 1 Mar 1999 12:46:22 GMT
- Re: Conflicting Priorities in occam
From P.H.Welch at Sun, 28 Feb 1999 19:16:00 GMT
- KRoC (occam) for Linux released ...
From P . H . Welch at Mon, 22 Feb 1999 17:01:12 GMT
- Re: WoTUG-22 "occam to Java bytecode working group" ??
From B.M. Cook at Tue, 2 Feb 1999 12:50:23 GMT
- WoTUG-22 "occam to Java bytecode working group" ??
From Oyvind Teig at Mon, 1 Feb 1999 13:34:27 GMT
- Invention of threads
From John Wexler at Tue, 15 Dec 1998 10:20:43 GMT
- Re: Pre-emptive multithreading covered by patents?
From B.M. Cook at Mon, 14 Dec 1998 17:08:07 GMT
- Re[2]: Too good to be true: Re: Asynchronous Exceptions in Java ...
From P . H . Welch at Fri, 4 Dec 1998 10:59:22 GMT
- Re[2]: Too good to be true: Re: Asynchronous Exceptions in J
From james_wolffe at Thu, 3 Dec 1998 17:28:48 GMT
- Re: Too good to be true: Re: Asynchronous Exceptions in Java
From Ian Page at Thu, 3 Dec 1998 15:22:06 GMT
- Re: occam and inheritance and delegation
From Oyvind Teig at Thu, 29 Oct 1998 08:46:01 GMT
- Re: occam and inheritance and delegation
From J.Moores at Wed, 28 Oct 1998 10:26:28 GMT
- occam and inheritance and delegation
From Oyvind Teig at Wed, 28 Oct 1998 07:55:59 GMT
- ARCH Library
From james_wolffe at Thu, 8 Oct 1998 20:17:01 +0100
- FYI...
From G. S. Stiles at Fri, 25 Sep 1998 03:46:41 +0100
- design by contract
From Lawrence Dickson at Tue, 22 Sep 1998 14:55:52 +0100
- Re:Extreme decomposition questionable?
From Lawrence Dickson at Fri, 28 Aug 1998 16:35:44 +0100
- Re:Extreme decomposition questionable?
From Øyvind Teig at Wed, 19 Aug 1998 07:32:29 +0100
- Extreme decomposition questionable?
From dyke at Mon, 17 Aug 1998 21:10:17 +0100
- Re: MALT: A Multiway Alternation
From Adrian Lawrence at Fri, 24 Jul 1998 07:56:29 +0100
- Re: KROC & occam on Linux
From J.Moores at Sat, 11 Jul 1998 01:48:55 +0100
- new CJT library 0.9 revision 8.
From Gerald H. Hilderink at Wed, 8 Jul 1998 18:35:10 +0100
- Re: KROC & occam on Linux
From P.H.Welch at Tue, 7 Jul 1998 21:47:31 +0100
- Re: KROC & occam on Linux
From MKabot at Tue, 7 Jul 1998 21:45:29 +0100
- KROC & occam on Linux
From Dave Beckett at Tue, 7 Jul 1998 19:01:38 +0100
- Complexity change in top-down design
From Øyvind Teig at Mon, 22 Jun 1998 13:48:34 +0100
- JCSP (JavaPP) library now available
From phw at Fri, 19 Jun 1998 16:03:32 +0100
- Re: JavaSpaces...
From Øyvind Teig at Tue, 16 Jun 1998 07:56:41 +0100
- Re: JavaSpaces...
From phw at Mon, 15 Jun 1998 12:20:36 +0100
- JavaSpaces...
From Paddy Nixon at Mon, 15 Jun 1998 11:42:55 +0100
- unsubscribe
From Karsten Schmidt at Wed, 10 Jun 1998 06:57:10 +0100
- Re: Formal Underpinnings of Java (fwd)
From dyke at Mon, 8 Jun 1998 21:48:42 +0100
- Formal Underpinnings of Java (fwd)
From Adrian Lawrence at Mon, 8 Jun 1998 20:06:07 +0100
- occam OPUS
From Oyvind Teig at Thu, 4 Jun 1998 13:12:52 +0100
- Re: occam and RT kernels
From J.Moores at Mon, 1 Jun 1998 15:51:43 +0100
- Re: occam and RT kernels
From Denis A Nicole at Mon, 1 Jun 1998 12:10:55 +0100
- Re: Lamport and toy languages
From Ruth Ivimey-Cook at Mon, 1 Jun 1998 07:33:21 +0100
- Re: Lamport and toy languages
From A E Lawrence at Sun, 31 May 1998 18:29:17 +0100
- Lamport and toy languages
From Lawrence Dickson at Sun, 31 May 1998 02:21:09 +0100
- Composition, temporal logic and CSP.
From Adrian Lawrence at Thu, 28 May 1998 19:03:28 +0100
- Re: Occam vs. monitor
From Denis A Nicole at Thu, 28 May 1998 11:36:54 +0100
- Re: Occam vs. monitor
From Oyvind Teig at Thu, 28 May 1998 07:13:41 +0100
- Temporal logic and compositional reasoning.
From Adrian Lawrence at Wed, 27 May 1998 23:10:27 +0100
- Re: Occam vs. monitor
From phw at Wed, 27 May 1998 18:58:41 +0100
- Pi-Calculus vs. CSP
From Rick van Rein at Wed, 27 May 1998 08:29:54 +0100
- Re: Occam vs. monitors
From Oyvind Teig at Wed, 27 May 1998 06:50:48 +0100
- Re: Occam vs. monitor
From Denis A Nicole at Wed, 27 May 1998 00:12:14 +0100
- Re: Occam vs. monitor
From phw at Tue, 26 May 1998 16:08:22 +0100
- Re: Lamport and toy languages
From phw at Tue, 26 May 1998 15:45:37 +0100
- Re: Lamport "The Temporal Logic of Actions"
From G. S. Stiles at Tue, 26 May 1998 05:43:02 +0100
- Re: Re. Lamport / Composition
From Adrian Lawrence at Mon, 25 May 1998 23:06:47 +0100
- Re: Lamport and toy languages
From Paddy Nixon at Mon, 25 May 1998 10:28:23 +0100
- Re: Lamport and toy languages
From Oyvind Teig at Mon, 25 May 1998 10:14:24 +0100
- Re: Lamport and toy languages
From Jon Kerridge at Mon, 25 May 1998 09:21:22 +0100
- Lamport and toy languages
From Adrian Lawrence at Mon, 25 May 1998 08:38:29 +0100
- Toy languages
From Adrian Lawrence at Fri, 22 May 1998 19:13:54 +0100
- Re. Lamport / Composition
From phw at Fri, 22 May 1998 10:39:07 +0100
- Re: Re. Lamport / Composition
From Richard Beton at Fri, 22 May 1998 10:04:18 +0100
- Re: Re. Lamport / Composition
From Paul Walker at Fri, 22 May 1998 09:35:34 +0100
- Re: Re. Lamport / Composition
From Adrian Lawrence at Thu, 21 May 1998 18:48:33 +0100
- Re: Re. Lamport / Composition
From Adrian Lawrence at Thu, 21 May 1998 17:26:55 +0100
- Re: Re. Lamport / Composition
From Adrian Lawrence at Thu, 21 May 1998 12:06:57 +0100
- Re: New Swing Library (JFC)
From phw at Fri, 3 Apr 1998 15:47:19 +0100
- Re: New Swing Library (JFC)
From Denis A Nicole at Fri, 3 Apr 1998 12:35:33 +0100
- Re: New Swing Library (JFC)
From phw at Fri, 3 Apr 1998 10:07:28 +0100
- T225 availabality ?
From Philippe LEMAIRE at Mon, 23 Feb 1998 11:30:53 GMT
- Transputer resuscitated?
From Ian East at Thu, 12 Feb 1998 18:22:16 GMT
- Is there some news about (multiple) SHARCs occam implementation ?
From Philippe LEMAIRE at Tue, 10 Feb 1998 11:31:35 GMT
- Re: occam for ARM
From Mark Booth at Mon, 9 Feb 1998 21:26:19 GMT
- Re: occam for ARM
From phw at Mon, 9 Feb 1998 15:30:04 GMT
- occam for ARM
From Ian East at Mon, 9 Feb 1998 15:09:32 GMT
- SDL and occam
From Richard Beton at Thu, 29 Jan 1998 19:01:42 GMT
- 1394 bug and formal methods
From Paul Walker at Fri, 7 Nov 1997 16:41:44 GMT
- RE; routing device
From O'Neill, Brian at Fri, 29 Aug 1997 10:22:50 +0100
- Oh, Java!
From phw at Wed, 30 Jul 1997 22:42:21 +0100
- Connections!
From Valdivino A. de Santiago Junior at Sat, 26 Jul 1997 00:05:43 +0100
- Re: The Laws of "object" programming
From Alexander Anderson at Fri, 4 Jul 1997 21:30:48 +0100
- The Laws of "object" programming
From Paddy Nixon at Fri, 4 Jul 1997 20:13:40 +0100
- Re: General Questions!
From Valdivino Alexandre de Santiago Junior at Sun, 29 Jun 1997 21:16:07 +0100
- EuroPar'97 - see http://brahms.fmi.uni-passau.de/cl/europar97/
From Richard Beton at Fri, 27 Jun 1997 14:45:24 +0100
- Deadlock free routing (2)
From Øyvind Teig at Fri, 27 Jun 1997 09:14:24 +0100
- Re: Deadlock free routing
From Denis A Nicole at Thu, 26 Jun 1997 17:44:59 +0100
- Re: Deadlock free routing
From Paul Walker at Thu, 26 Jun 1997 17:43:47 +0100
- Paradigms
From Paul Walker at Thu, 26 Jun 1997 15:40:05 +0100
- Re: Deadlock free routing
From jsunter at Thu, 26 Jun 1997 15:07:51 +0100
- Re: Deadlock free routing
From jsunter at Thu, 26 Jun 1997 15:01:11 +0100
- Re: Deadlock free routing
From Andre Bakkers at Thu, 26 Jun 1997 14:23:58 +0100
- Re: Deadlock free routing
From Richard Beton at Thu, 26 Jun 1997 14:15:35 +0100
- Deadlock free routing
From Øyvind Teig at Thu, 26 Jun 1997 13:43:19 +0100
- Re: General Questions!
From Valdivino Alexandre de Santiago Junior at Wed, 25 Jun 1997 16:37:38 +0100
- Re: Limbo - Java + CSP?
From Mark Ian Barlow at Wed, 18 Jun 1997 17:33:44 +0100
- JavaPP ALTing with timers
From phw at Wed, 18 Jun 1997 17:05:02 +0100
- JavaPP -- ALTing with timeout and SKIP guards
From phw at Tue, 17 Jun 1997 19:53:24 +0100
- Re: Minutes of a meeting with Fujitsu
From Alexander Anderson at Tue, 3 Jun 1997 02:49:38 +0100
- Re: Re. March IEEE Computer Diatribe on Java
From Paul Walker at Fri, 18 Apr 1997 08:58:19 +0100
- Java CSP classlib? where?
From Mark Ian Barlow at Thu, 17 Apr 97 14:32:31 BST
- March IEEE Computer Diatribe on Java
From Lawrence Dickson at Sun, 13 Apr 97 03:42:40 BST
- Re. March IEEE Computer Diatribe on Java
From phw at Fri, 11 Apr 97 13:07:15 BST
- Re: March IEEE Computer Diatribe on Java
From Dyke Stiles at Tue, 8 Apr 97 17:54:44 BST
- March IEEE Computer Diatribe on Java
From Paul Walker at Tue, 8 Apr 97 09:35:21 BST
- http://rt.el.utwente.nl/wotug20
From Andre Bakkers at Tue, 1 Apr 97 13:00:57 BST
- Final call for participation Parallel Programming and Java conference 13-16 April '97
From Andre Bakkers at Tue, 1 Apr 97 11:04:25 BST
- Re: CHAN variants
From B.M. Cook at Tue, 18 Mar 97 13:14:07 GMT
- Re: CHAN variants
From Adrian Lawrence at Mon, 17 Mar 97 16:02:06 GMT
- VESA Home Networks "RFI"
From Paul Walker at Fri, 14 Mar 97 15:01:20 GMT
- Re: CHAN variants
From B.M. Cook at Fri, 14 Mar 97 09:22:32 GMT
- CHAN variants
From Adrian Lawrence at Wed, 5 Mar 97 08:39:29 GMT
- email address change
From James Wolffe at Fri, 28 Feb 97 15:26:34 GMT
- PPRAM Consortium Foundation and role of 1355
From Kazuto . MATSUI at Wed, 22 Jan 97 09:24:12 GMT
- Re: Inheritance and active objects
From Mark Ian Barlow at Tue, 31 Dec 96 04:15:36 GMT
- Inheritance and active objects
From phw at Wed, 18 Dec 96 19:34:28 GMT
- Re: Distributed shared channels (via SEMAPHOREs)
From phw at Wed, 18 Dec 96 10:31:21 GMT
- Re: Distributed shared channels (via SEMAPHOREs)
From Richard Beton at Wed, 18 Dec 96 09:29:51 GMT
- Re: Distributed shared channels (via SEMAPHOREs)
From Richard Beton at Wed, 18 Dec 96 08:29:50 GMT
- Distributed shared channels (via SEMAPHOREs)
From phw at Tue, 17 Dec 96 11:11:31 GMT
- Re: VCP
From Paul Walker at Tue, 17 Dec 96 10:20:13 GMT
- Re: VCP
From info@xxxxxxxxx at Sun, 15 Dec 96 22:50:28 GMT
- occam wish list
From Mark Ian Barlow at Sun, 15 Dec 96 16:33:11 GMT
- subscribe
From James Wolffe at Fri, 13 Dec 96 16:42:39 GMT
- None
From Brian Martin at Fri, 13 Dec 96 15:46:19 GMT
- Re: (fwd) T9000 News (fwd)
From Jon Kerridge at Thu, 12 Dec 96 10:28:21 GMT
- Re: Occam and WoTUG-20
From B.M. Cook at Thu, 12 Dec 96 09:04:53 GMT
- Re. new process synchronisation primitives ...
From phw at Wed, 11 Dec 96 13:36:50 GMT
- Re: Occam and WoTUG-20
From Richard Beton at Wed, 11 Dec 96 09:35:42 GMT
- Re: (fwd) T9000 News (fwd)
From Alexander Anderson at Tue, 10 Dec 96 20:35:01 GMT
- Re: (fwd) T9000 News (fwd)
From Ian Page at Tue, 10 Dec 96 16:07:13 GMT
- Re: (fwd) T9000 News (fwd)
From phw at Tue, 10 Dec 96 15:49:51 GMT
- Re: (fwd) T9000 News (fwd)
From phw at Tue, 10 Dec 96 15:37:42 GMT
- T9000
From Alan Chalmers at Tue, 10 Dec 96 12:17:02 GMT
- Re: (fwd) T9000 News (fwd)
From B.M. Cook at Tue, 10 Dec 96 11:53:44 GMT
- Re: new sync primitives
From Jon Kerridge at Mon, 9 Dec 96 16:21:51 GMT
- new sync primitives
From phw at Fri, 6 Dec 96 15:45:16 GMT
- subscribe
From Francesco at Mon, 11 Nov 96 14:41:45 GMT
- subscribe
From Karsten Schmidt at Wed, 2 Oct 96 08:07:22 BST
- SUBSCRIBE
From Mark Ian Barlow at Thu, 26 Sep 96 14:15:33 BST
- Re: Multi-CHAN_OF_INT
From phw at Tue, 28 May 96 11:53:28 BST
- Multi-CHAN_OF_INT
From Øyvind Teig at Tue, 28 May 96 07:31:08 BST
- Totally nailed down (probably)
From phw at Mon, 27 May 96 16:11:36 BST
- multi-CHAN_OF_INT ???
From phw at Fri, 24 May 96 18:39:47 BST
- Re: Java & Win95
From phw at Thu, 23 May 96 16:27:28 BST
- simplified multi-reader/writer BUFFER_OF_INT.java
From phw at Thu, 23 May 96 15:45:04 BST
- Java & Win95
From Øyvind Teig at Wed, 22 May 96 14:57:33 BST
- Occam channel based on polling techniques !
From Gerald Hilderink at Tue, 21 May 96 12:58:44 BST
- Re: Java -- learning from occam3
From Richard Beton at Tue, 21 May 96 09:07:42 BST
- Java -- learning from occam3
From phw at Mon, 20 May 96 21:28:15 BST
- Re: Musings on occam and Java
From Richard Beton at Mon, 20 May 96 14:39:45 BST
- Musings on occam and Java
From phw at Mon, 20 May 96 12:06:04 BST
- Re: Re. Java solution of checking suspended threads !
From Paddy Nixon at Thu, 16 May 96 13:18:22 BST
- Java/occam
From Dyke Stiles at Wed, 15 May 96 23:11:53 BST
- Re. Java solution of checking suspended threads !
From phw at Wed, 15 May 96 18:28:54 BST
- Java and occam
From Paddy Nixon at Wed, 15 May 96 10:04:41 BST
- Occam article in EDN
From Øyvind Teig at Wed, 15 May 96 07:34:13 BST
- ComsTime with full PAR in Delta
From Øyvind Teig at Wed, 15 May 96 07:16:35 BST
- Java solution of checking suspended threads !
From Gerald Hilderink at Tue, 14 May 96 15:21:53 BST
- Java threads and occam processes
From Andre Bakkers at Tue, 14 May 96 14:48:19 BST
- Java technical question?
From phw at Tue, 14 May 96 12:48:59 BST
- Java threads and occam processes
From phw at Mon, 13 May 96 00:41:03 BST
- Java threads and ComsTime
From phw at Mon, 13 May 96 00:14:37 BST
- Re: Java and Charles L.Perkins
From phw at Tue, 7 May 96 10:01:34 BST
- ComsTime in Java - report to Sun?
From Øyvind Teig at Tue, 7 May 96 07:54:29 BST
- Java and Charles L.Perkins
From Øyvind Teig at Tue, 7 May 96 07:33:52 BST
- Re: Rick's musings on modifications to occam
From Richard Beton at Fri, 3 May 96 08:56:37 BST
- Re: re. Rick's musings
From Richard Beton at Thu, 2 May 96 12:58:23 BST
- Java Threads (erratum)
From phw at Tue, 30 Apr 96 19:22:23 BST
- Java Threads (Workshop)
From phw at Tue, 30 Apr 96 19:13:27 BST
- Re. Rick's musings
From phw at Mon, 29 Apr 96 18:10:39 BST
- Re: Rick's musings on modifications to occam
From Ruth Ann Ivimey-Cook at Mon, 29 Apr 96 09:14:21 BST
- SPOC official e-mail address
From Øyvind Teig at Thu, 25 Apr 96 13:05:28 BST
- Testing
From Øyvind Teig at Tue, 23 Apr 96 07:45:38 BST
- Greetings
From phw at Fri, 22 Mar 96 21:17:16 GMT
- Catch-up
From phw at Fri, 22 Mar 96 20:07:36 GMT
Mail converted by MHonArc