From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <830767eed1abeb97aa094a289f94413b@vitanuova.com>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] MS Research reinvents Inferno?
From: C H Forsyth <forsyth@vitanuova.com>
Date: Wed, 14 Dec 2005 10:09:58 +0000
In-Reply-To: <64e675acc95909312f93f9add34b3101@hamnavoe.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Topicbox-Message-UUID: c56502c2-ead0-11e9-9d60-3106f5b1d025

> But there's no checking of the sequencing of communications (e.g. you
> can't specify that SYN in one direction is followed by ACK in the other).

there was a variant that did more than that, using a protocol description
based on regular expressions, by the late A J Fisher (University of York)
it included compile-time checking.

	Fisher A J 1988  A critique of OCCAM channel types.  Computer Languages 13(2) 95-105

it's also discussed in another article to supply a theoretical basis

	Carlisle W H, Type Checking Concurrent I/O, TOPLAS 17(3) 445-469