occam-com mailing list archive (by date)
- 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-ba