A specification of a PROWAY protocol with an Algebraic language.
Antonella Di StefanoMichele MalgeriOrazio MirabellaPublished in: PSTV (1985)
Keyphrases
- specification language
- protocol specification
- programming language
- formal languages
- operational semantics
- formal language
- action language
- formal specification
- network protocols
- language learning
- state machines
- definition language
- lightweight
- formal analysis
- xml documents
- security protocols
- conceptual model
- natural language
- language constructs
- representation language
- highly modular