Modeling and Verification of Reliable Messaging by Graph Transformation Systems

Link to refer to this document:

Title: Modeling and Verification of Reliable Messaging by Graph Transformation Systems
Author: Gönczy, László; Kovács, Máté Amadé; Varró, Dániel
Date of issue: 2007
Language: en
Identifiers: MTMT: 1635304; Scopus: 34250898527
Title of the container document: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Volume of container document: 175
Number of container document: 4
ISSN, e-ISSN: 1571-0661
Document type: folyóiratcikk
Document genre: szakcikk