comp.lang.ada
 help / color / mirror / Atom feed
From: Brian Drummond <brian_drummond@btconnect.com>
Subject: Re: High-integrity networking
Date: Wed, 10 Oct 2007 14:16:11 +0100
Date: 2007-10-10T14:16:11+01:00	[thread overview]
Message-ID: <i3kpg35i0p81nkjo4ifo6448otdnmcb56o@4ax.com> (raw)
In-Reply-To: 1191935853.244559.87440@o80g2000hse.googlegroups.com

On Tue, 09 Oct 2007 06:17:33 -0700, Maciej Sobczak
<see.my.homepage@gmail.com> wrote:

>On 8 Pa , 23:02, "Jeffrey R. Carter"
><spam.jrcarter....@acm.nospam.org> wrote:
>

>I have already found CSP (Communicating Sequential Processes), which
>is one possible approach, although what I have seen up to now leaves
>some "minor" details in the air, like the startup of the whole system.
>Ravenscar can afford this, because it's the language implementation
>that has to more or less transparently take care of all these issues,
>but heterogenous systems might need some more explicit handling.
>
>In any case - is this (CSP) the only keyword in this subject?

I don't suppose there are any occam compilers still running?

- Brian



  parent reply	other threads:[~2007-10-10 13:16 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-10-08 12:13 High-integrity networking Maciej Sobczak
2007-10-08 16:03 ` Colin Paul Gloster
2007-10-08 20:35   ` Maciej Sobczak
2007-10-15 17:14     ` Colin Paul Gloster
2007-10-16  8:44       ` Maciej Sobczak
2007-10-08 21:02 ` Jeffrey R. Carter
2007-10-09 13:17   ` Maciej Sobczak
2007-10-09 17:37     ` Jeffrey R. Carter
2007-10-09 20:57       ` Maciej Sobczak
2007-10-10 13:16     ` Brian Drummond [this message]
2007-10-10 18:13       ` anon
2007-10-10 18:54       ` Peter Morris
2007-10-10  6:29 ` Peter Morris
2007-10-10 19:40   ` Simon Wright
2007-10-11 13:00     ` Peter Morris
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox