Re: Reminder: BoF in IETF 68 in Prague

Stephane Bortzmeyer <bortzmeyer@nic.fr> Sun, 18 March 2007 08:08 UTC

Return-path: <cosmogol-bounces@ietf.org>
Received: from [127.0.0.1] (helo=stiedprmman1.va.neustar.com) by megatron.ietf.org with esmtp (Exim 4.43) id 1HSqRP-0001RX-9P; Sun, 18 Mar 2007 04:08:35 -0400
Received: from [10.91.34.44] (helo=ietf-mx.ietf.org) by megatron.ietf.org with esmtp (Exim 4.43) id 1HSqRN-0001RR-Ir for cosmogol@ietf.org; Sun, 18 Mar 2007 04:08:33 -0400
Received: from bortzmeyer.netaktiv.com ([80.67.170.53] helo=mail.bortzmeyer.org) by ietf-mx.ietf.org with esmtp (Exim 4.43) id 1HSqRJ-0005Bq-AD for cosmogol@ietf.org; Sun, 18 Mar 2007 04:08:33 -0400
Received: by mail.bortzmeyer.org (Postfix, from userid 10) id BC068240817; Sun, 18 Mar 2007 09:07:59 +0100 (CET)
Received: by fetiche (Postfix, from userid 1000) id 8F58F17C15; Sun, 18 Mar 2007 09:01:14 +0100 (CET)
Date: Sun, 18 Mar 2007 09:01:14 +0100
From: Stephane Bortzmeyer <bortzmeyer@nic.fr>
To: Frank Ellermann <nobody@xyzzy.claranet.de>
Message-ID: <20070318080114.GA3694@laperouse.bortzmeyer.org>
References: <20070314220733.GA28426@sources.org> <45FBD2BF.212C@xyzzy.claranet.de>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <45FBD2BF.212C@xyzzy.claranet.de>
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: 93238566e09e6e262849b4f805833007
Cc: cosmogol@ietf.org
Subject: Re: Reminder: BoF in IETF 68 in Prague
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, Mar 17, 2007 at 12:36:31PM +0100,
 Frank Ellermann <nobody@xyzzy.claranet.de> wrote 
 a message of 20 lines which said:

> Oops, so that's "FSM", I wondered why the name of the Jabber room is
> "fsm"... :-)

The idea of the Area Directors was that "Cosmogol" is a (possible)
solution and "FSM" is more a problem statement. They prefer the
process to be more open, and not to mention the solution in the title
of the BoF.

> BTW, I stumbled about an article which might be interesting for some
> kind of "FSM motivation":
> 
> <http://permalink.gmane.org/gmane.ietf.gen-art/1658>
> Subject: Gen-ART LC Review of draft-ietf-pim-sm-bsr-10.txt
> [...]
> | Essentially, we convinced ourselves (and the WG), that the
> | state machine does indeed cover all cases, although not in
> | a formal manner.

Yes, this is exactly the problem we are trying to solve. Thanks for
the pointer.

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