Subject: I-D Action: draft-petithuguenin-formal-fsm-00.txt

From: [email-masked]
Date: Mon, 11 Oct 2021 10:40:41 -0700

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/