[fdt] Fwd: I-D Action: draft-petithuguenin-formal-fsm-00.txt
Marc Petit-Huguenin <marc@petit-huguenin.org> Mon, 11 October 2021 17:43 UTC
Return-Path: <marc@petit-huguenin.org>
X-Original-To: fdt@ietfa.amsl.com
Delivered-To: fdt@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 5D4093A0062 for <fdt@ietfa.amsl.com>; Mon, 11 Oct 2021 10:43:16 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.899
X-Spam-Level:
X-Spam-Status: No, score=-1.899 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, SPF_HELO_FAIL=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 8cShMR3bcQSS for <fdt@ietfa.amsl.com>; Mon, 11 Oct 2021 10:43:11 -0700 (PDT)
Received: from implementers.org (implementers.org [IPv6:2001:4b98:dc0:45:216:3eff:fe7f:7abd]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 5B1093A0045 for <fdt@ietf.org>; Mon, 11 Oct 2021 10:43:11 -0700 (PDT)
Received: from [IPv6:2601:204:e600:411:d250:99ff:fedf:93cd] (unknown [IPv6:2601:204:e600:411:d250:99ff:fedf:93cd]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-384) server-signature RSA-PSS (2048 bits) client-signature RSA-PSS (2048 bits)) (Client CN "Marc Petit-Huguenin", Issuer "implementers.org" (verified OK)) by implementers.org (Postfix) with ESMTPS id BD33BAE536 for <fdt@ietf.org>; Mon, 11 Oct 2021 19:43:08 +0200 (CEST)
References: <163397404137.16628.8090590156701848650@ietfa.amsl.com>
From: Marc Petit-Huguenin <marc@petit-huguenin.org>
To: "fdt@ietf.org" <fdt@ietf.org>
X-Forwarded-Message-Id: <163397404137.16628.8090590156701848650@ietfa.amsl.com>
Message-ID: <6b674f8c-6833-062e-c8d3-2e80919ebe52@petit-huguenin.org>
Date: Mon, 11 Oct 2021 10:43:06 -0700
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.14.0
MIME-Version: 1.0
In-Reply-To: <163397404137.16628.8090590156701848650@ietfa.amsl.com>
Content-Type: text/plain; charset="utf-8"; format="flowed"
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Archived-At: <https://mailarchive.ietf.org/arch/msg/fdt/0HOEVe5Vg7esY1obXF8m2e_F_-s>
Subject: [fdt] Fwd: I-D Action: draft-petithuguenin-formal-fsm-00.txt
X-BeenThere: fdt@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Mailing list for the discussion of the use of formal description techniques in IETF documents <fdt.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/fdt>, <mailto:fdt-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/fdt/>
List-Post: <mailto:fdt@ietf.org>
List-Help: <mailto:fdt-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/fdt>, <mailto:fdt-request@ietf.org?subject=subscribe>
X-List-Received-Date: Mon, 11 Oct 2021 17:43:17 -0000
This is a description of a new meta-language meant to describe Finite State Machines. Questions, comments, and suggestions can be sent here or directly to my email address. I am also available on hallway@jabber.ietf.org/MPH. -------- Forwarded Message -------- Subject: I-D Action: draft-petithuguenin-formal-fsm-00.txt Date: Mon, 11 Oct 2021 10:40:41 -0700 From: internet-drafts@ietf.org Reply-To: internet-drafts@ietf.org To: i-d-announce@ietf.org A New Internet-Draft is available from the on-line Internet-Drafts directories. Title : A Formal Language to Describe State Machines Author : Marc Petit-Huguenin Filename : draft-petithuguenin-formal-fsm-00.txt Pages : 15 Date : 2021-10-11 Abstract: This document describes a meta-language for finite state machines. The IETF datatracker status page for this draft is: https://datatracker.ietf.org/doc/draft-petithuguenin-formal-fsm/ There is also an HTML version available at: https://www.ietf.org/archive/id/draft-petithuguenin-formal-fsm-00.html Internet-Drafts are also available by anonymous FTP at: ftp://ftp.ietf.org/internet-drafts/ _______________________________________________ I-D-Announce mailing list I-D-Announce@ietf.org https://www.ietf.org/mailman/listinfo/i-d-announce Internet-Draft directories: http://www.ietf.org/shadow.html or ftp://ftp.ietf.org/ietf/1shadow-sites.txt -- Marc Petit-Huguenin Email: marc@petit-huguenin.org Blog: https://marc.petit-huguenin.org Profile: https://www.linkedin.com/in/petithug
- [fdt] Fwd: I-D Action: draft-petithuguenin-formal… Marc Petit-Huguenin