Defining, analysing and implementing communication protocols using attribute grammars
From MaRDI portal
Publication:919803
DOI10.1007/BF01888235zbMath0707.68009MaRDI QIDQ919803
Publication date: 1990
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Network design and communication in computer systems (68M10) Theory of compilers and interpreters (68N20) Grammars and rewriting systems (68Q42)
Related Items
Uses Software
Cites Work
- Defining, analysing and implementing communication protocols using attribute grammars
- Attribute grammars. Definitions, systems and bibliography
- Attributed translations
- Extended Attribute Grammars
- Synthesis of Communicating Processes from Temporal Logic Specifications
- Semantics of context-free languages
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item