Author of the publication

Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks.

, , , , , and . FASE, volume 4422 of Lecture Notes in Computer Science, page 383-397. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Workshop on Petri Nets and Graph Transformations., , and . ICGT, volume 3256 of Lecture Notes in Computer Science, page 442-444. Springer, (2004)Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations., , and . SBES, page 1-16. SBC, (1993)Hierarchical, Reconfigurable Petri Nets., and . Modellierung (Workshops), volume 2060 of CEUR Workshop Proceedings, page 167-186. CEUR-WS.org, (2018)Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components. Applied Categorical Structures, (2008)Subtyping for Hierarchical, Reconfigurable Petri Nets.. CoRR, (2018)Integration and Collaboration Based on Graphical Techniques (Editorial)., , and . Transactions of the SDPS, 5 (1): 1-2 (2001)A Uniform Approach to Petri Nets., and . Foundations of Computer Science: Potential - Theory - Cognition, volume 1337 of Lecture Notes in Computer Science, page 219-231. Springer, (1997)Workshop on Petri Nets and Graph Transformations., , , and . ICGT, volume 4178 of Lecture Notes in Computer Science, page 467-469. Springer, (2006)Towards Model Checking Reconfigurable Petri Nets using Maude., and . ECEASST, (2014)Rule-Based Refinement of High-Level Nets Preserving Safety Properties., , and . FASE, volume 1382 of Lecture Notes in Computer Science, page 221-238. Springer, (1998)