Re: Request for workers :-)

Stephane Bortzmeyer <bortzmeyer+ietf@nic.fr> Sat, 06 January 2007 22:47 UTC

Received: from [127.0.0.1] (helo=stiedprmman1.va.neustar.com) by megatron.ietf.org with esmtp (Exim 4.43) id 1H3KJj-0006UL-W2; Sat, 06 Jan 2007 17:47:11 -0500
Received: from [10.90.34.44] (helo=chiedprmail1.ietf.org) by megatron.ietf.org with esmtp (Exim 4.43) id 1H3KJi-0006UG-KQ for cosmogol@ietf.org; Sat, 06 Jan 2007 17:47:10 -0500
Received: from virtual3.netaktiv.com ([80.67.170.53] helo=mail.bortzmeyer.org) by chiedprmail1.ietf.org with esmtp (Exim 4.43) id 1H3KJh-0000Q5-9W for cosmogol@ietf.org; Sat, 06 Jan 2007 17:47:10 -0500
Received: by mail.bortzmeyer.org (Postfix, from userid 10) id 38FBA240813; Sat, 6 Jan 2007 23:47:08 +0100 (CET)
Received: by mail.sources.org (Postfix, from userid 1000) id BD90E12DBA; Sat, 6 Jan 2007 23:45:42 +0100 (CET)
Date: Sat, 6 Jan 2007 23:45:42 +0100
From: Stephane Bortzmeyer <bortzmeyer+ietf@nic.fr>
To: cosmogol@ietf.org
Message-ID: <20070106224542.GA31019@sources.org>
References: <20070106210304.GA14966@sources.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20070106210304.GA14966@sources.org>
X-Transport: UUCP rules
X-Operating-System: Debian GNU/Linux 3.1
User-Agent: Mutt/1.5.9i
X-Spam-Score: 0.1 (/)
X-Scan-Signature: 7d33c50f3756db14428398e2bdedd581
Subject: Re: Request for workers :-)
X-BeenThere: cosmogol@ietf.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: DIscussion on state machine specification in IETF protocols <cosmogol.ietf.org>
List-Unsubscribe: <https://www1.ietf.org/mailman/listinfo/cosmogol>, <mailto:cosmogol-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www1.ietf.org/pipermail/cosmogol>
List-Post: <mailto:cosmogol@ietf.org>
List-Help: <mailto:cosmogol-request@ietf.org?subject=help>
List-Subscribe: <https://www1.ietf.org/mailman/listinfo/cosmogol>, <mailto:cosmogol-request@ietf.org?subject=subscribe>
Errors-To: cosmogol-bounces@ietf.org

On Sat, Jan 06, 2007 at 10:03:04PM +0100,
 Stephane Bortzmeyer <bortzmeyer+ietf@nic.fr> wrote 
 a message of 31 lines which said:

> * writing state machines in Cosmogol (with an emphasis on state
> machines used in RFC) to stress the language and feel its limits,

Possible (incomplete) list of RFC with state machines:

1644
1661
2131 (DHCP)
2328
2832 Note the short and long labels 
3215 (a big one)
3261
3989 (note the complicated edge labels)
4006 (note it is represented as a table, not a ascii-art diagram)
4137
4271 (no diagram, very long and complicated, with many messages)
4340

_______________________________________________
Cosmogol mailing list
Cosmogol@ietf.org
https://www1.ietf.org/mailman/listinfo/cosmogol