Modeling and Verification of Reliable Messaging by Graph Transformation Systems

DOI10.1016/J.ENTCS.2007.04.015zbMath1278.68173DBLPjournals/entcs/GonczyKV07OpenAlexW2130831769WikidataQ57090146 ScholiaQ57090146MaRDI QIDQ2867887

Dániel Varró, Máté Kovács, László Gönczy

Publication date: 20 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.04.015

zbMATH Keywords

graph transformationservice-oriented architecturereliable messaging

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Uses Software

• GROOVE

Cites Work

• A graph transformation approach to software architecture reconfiguration
• Graph Transformations
• Mathematical Knowledge Management
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Modeling and Verification of Reliable Messaging by Graph Transformation Systems