Re: Request for workers :-)

Cullen Jennings <fluffy@cisco.com> Sun, 07 January 2007 00:59 UTC

Received: from [127.0.0.1] (helo=stiedprmman1.va.neustar.com) by megatron.ietf.org with esmtp (Exim 4.43) id 1H3MO5-0007oo-HR; Sat, 06 Jan 2007 19:59:49 -0500
Received: from [10.91.34.44] (helo=ietf-mx.ietf.org) by megatron.ietf.org with esmtp (Exim 4.43) id 1H3MO3-0007oV-TF for cosmogol@ietf.org; Sat, 06 Jan 2007 19:59:47 -0500
Received: from sj-iport-5.cisco.com ([171.68.10.87]) by ietf-mx.ietf.org with esmtp (Exim 4.43) id 1H3MO1-0002hN-JQ for cosmogol@ietf.org; Sat, 06 Jan 2007 19:59:47 -0500
Received: from sj-dkim-6.cisco.com ([171.68.10.81]) by sj-iport-5.cisco.com with ESMTP; 06 Jan 2007 16:59:45 -0800
Received: from sj-core-4.cisco.com (sj-core-4.cisco.com [171.68.223.138]) by sj-dkim-6.cisco.com (8.12.11/8.12.11) with ESMTP id l070xi91009726; Sat, 6 Jan 2007 16:59:44 -0800
Received: from [192.168.4.2] (sjc-fluffy-vpn1.cisco.com [10.25.236.82]) by sj-core-4.cisco.com (8.12.10/8.12.6) with SMTP id l070xeIm028512; Sat, 6 Jan 2007 16:59:40 -0800 (PST)
In-Reply-To: <20070106224542.GA31019@sources.org>
References: <20070106210304.GA14966@sources.org> <20070106224542.GA31019@sources.org>
Mime-Version: 1.0 (Apple Message framework v752.3)
Content-Type: text/plain; charset=US-ASCII; format=flowed
Message-Id: <719B62BF-0E67-4B26-B507-CABB47042B11@cisco.com>
Content-Transfer-Encoding: 7bit
From: Cullen Jennings <fluffy@cisco.com>
Date: Sat, 6 Jan 2007 16:59:32 -0800
To: Stephane Bortzmeyer <bortzmeyer+ietf@nic.fr>
X-Mailer: Apple Mail (2.752.3)
DKIM-Signature: v=0.5; a=rsa-sha256; q=dns/txt; l=994; t=1168131584; x=1168995584; c=relaxed/simple; s=sjdkim6002; h=Content-Type:From:Subject:Content-Transfer-Encoding:MIME-Version; d=cisco.com; i=fluffy@cisco.com; z=From:=20Cullen=20Jennings=20<fluffy@cisco.com> |Subject:=20Re=3A=20Request=20for=20workers=20=3A-) |Sender:=20; bh=7+Ra3/+PevJfSeAuYa8SQ6L7Y2HffYsObPnI7AvHxog=; b=Dwi82/GSZeceLZ4aD007widilLDk/Vuke1xgR4ZOZbXuATTDSA0u0ENisusw8q5ZsUFGFB5q aJaT+CyO9pYSdr77WMtIrUrTblcT44osMKjRJ2+v80DAHEJZUP0gU9ka;
Authentication-Results: sj-dkim-6; header.From=fluffy@cisco.com; dkim=pass ( sig from cisco.com/sjdkim6002 verified; );
X-Spam-Score: 0.0 (/)
X-Scan-Signature: bb8f917bb6b8da28fc948aeffb74aa17
Cc: cosmogol@ietf.org
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

The state machine for aproving RFC is at
https://datatracker.ietf.org/public/states_table.cgi

Also RFC 3261 has a state machine.


On Jan 6, 2007, at 2:45 PM, Stephane Bortzmeyer wrote:

> 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

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