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, 06 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
- Request for workers :-) Stephane Bortzmeyer
- Re: Request for workers :-) Stephane Bortzmeyer
- Re: Request for workers :-) Stephane Bortzmeyer
- Re: Request for workers :-) Cullen Jennings
- Re: Request for workers :-) Marc Petit-Huguenin
- Re: Request for workers :-) Stephane Bortzmeyer
- Re: Request for workers :-) Stephane Bortzmeyer
- Re: Request for workers :-) Stephane Bortzmeyer