Re: Reminder: BoF in IETF 68 in Prague

[Frank Ellermann <nobody at xyzzy.claranet.de>]

Stephane Bortzmeyer wrote:
 
> TUESDAY, March 20, 2007
> 1740-1840 Afternoon Session III
> Karlin I        APP     fsm     Formal State Machines BOF

Oops, so that's "FSM", I wondered why the name of the Jabber
room is "fsm"... :-)  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.
[...]

Frank



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