Formal Modeling of Communication Protocols by Graph Transformation

DOI10.1007/11813040_24MaRDI QIDQ3506874zbMATH OpenOpenAlexFDO

Authors Zarrin Langari, Richard Trefler

Publication date 17 June 2008

Published in FM 2006: Formal Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11813040_24

Mathematics Subject Classification ID

Network protocols (68M12) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections
• A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows
• scientific article; zbMATH DE number 1670819
• scientific article; zbMATH DE number 2050824
• A graph-based approach to the compositional specification of distributed systems

Cited in

(4)

• scientific article; zbMATH DE number 5734944 (Why is no real title available?)
• Application of Graph Transformation in Verification of Dynamic Systems
• UML based modeling and code generation of network protocols
• scientific article; zbMATH DE number 5222364 (Why is no real title available?)

This page was built for publication: Formal Modeling of Communication Protocols by Graph Transformation

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