Formal Modeling of Communication Protocols by Graph Transformation
From MaRDI portal
Publication:3506874
DOI10.1007/11813040_24zbMath1211.68023OpenAlexW1526233185MaRDI QIDQ3506874
Richard Trefler, Zarrin Langari
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
Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Network protocols (68M12)
Related Items
This page was built for publication: Formal Modeling of Communication Protocols by Graph Transformation