Ugo Montanari and Graph Transformation

DOI10.1007/978-3-540-68679-8_2zbMath1143.68424OpenAlexW1689922424MaRDI QIDQ3507353

Andrea Corradini

Publication date: 19 June 2008

Published in: Concurrency, Graphs and Models (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-68679-8_2

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Grammars and rewriting systems (68Q42) History of computer science (68-03)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unfolding semantics of graph transformation
• An abstract machine for concurrent modular systems: CHARM
• Graph transformations in computer science. International Workshop, Dagstuhl Castle, Germany, January 4--8, 1993. Proceedings
• CONCUR 2006 -- concurrency theory. 17th international conference, CONCUR 2006, Bonn, Germany, August 27--30, 2006. Proceedings.
• Modelling Calculi with Name Mobility using Graphs with Equivalences
• Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
• Handbook of Graph Grammars and Computing by Graph Transformation
• An event structure semantics for graph grammars with parallel productions
• A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST Project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA).
• Abstract graph derivations in the double pushout approach
• Note on standard representation of graphs and graph derivations
• Hierarchical Design Rewriting with Maude
• Separable graphs, planar graphs and web grammars
• Event Structure Semantics for Nominal Calculi
• Concurrent Rewriting for Graphs with Equivalences
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Formal Methods at the Crossroads. From Panacea to Foundational Support
• Recent Trends in Algebraic Development Techniques

This page was built for publication: Ugo Montanari and Graph Transformation