Defining, analysing and implementing communication protocols using attribute grammars

DOI10.1007/BF01888235MaRDI QIDQ919803zbMATH OpenFDO

Authors N. P. Chapman

Publication date 1990

Published in Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

attribute grammarsprotocolsdeadlockLR parsing

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Grammars and rewriting systems (68Q42) Network design and communication in computer systems (68M10)

Recommendations

• The synthesis of communication protocols
• scientific article; zbMATH DE number 1196700
• scientific article; zbMATH DE number 3892605
• On Communicating Finite-State Machines
• scientific article; zbMATH DE number 4080927

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3901996 (Why is no real title available?)
• scientific article; zbMATH DE number 3905825 (Why is no real title available?)
• scientific article; zbMATH DE number 3990899 (Why is no real title available?)
• scientific article; zbMATH DE number 4100631 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 3755907 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 5254145 (Why is no real title available?)
• Attribute grammars. Definitions, systems and bibliography
• Attributed translations
• Defining, analysing and implementing communication protocols using attribute grammars
• Extended Attribute Grammars
• Semantics of context-free languages
• Synthesis of Communicating Processes from Temporal Logic Specifications

Cited in

(5)

• On the number of rules needed for the automaton grammar to generate a finite language
• Global protocol implementations via attribute-based communication
• Ping-pong protocols as prefix grammars: modelling and verification via program transformation
• Defining, analysing and implementing communication protocols using attribute grammars
• Protocol Normalization Using Attribute Grammars

Describes a project that uses

Uses Software

• Miranda

This page was built for publication: Defining, analysing and implementing communication protocols using attribute grammars

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q919803)