References from draft-petithuguenin-formal-fsm
These dependencies are extracted using heuristics looking for strings with particular prefixes. Notably, this means that references to I-Ds by title only are not reflected here. If it's really important, please inspect the documents' references sections directly.
Document | Title | Status | Type | Downref |
---|---|---|---|---|
BCP 14 |
References Referenced by |
normatively references | ||
draft-bortzmeyer-language-state-machines |
Cosmogol: a language to describe finite state machines
References Referenced by |
informatively references | ||
draft-petithuguenin-computerate-specifying |
The Computerate Specifying Paradigm
References Referenced by |
informatively references | ||
RFC 2119 |
Key words for use in RFCs to Indicate Requirement Levels
References Referenced by |
Best Current Practice | normatively references | |
RFC 5234 |
Augmented BNF for Syntax Specifications: ABNF
References Referenced by |
Internet Standard | normatively references | |
RFC 8174 |
Ambiguity of Uppercase vs Lowercase in RFC 2119 Key Words
References Referenced by |
Best Current Practice | normatively references | |
RFC 8489 |
Session Traversal Utilities for NAT (STUN)
References Referenced by |
Proposed Standard | informatively references |