European Association of Software Science and Technology

Log in
Workshop on Graph Transformation and Concurrency

Workshop on Graph Transformation and Concurrency

An informal workshop, to be held in Leicester on 24 - 26 January 2013, to discuss foundations and applications of concurrency in graph transformation.
  • Discussion
  • Workshop on Graph Transformation and Concurrency

Discussion topics

    • Public

    General Discussion

    Started by Reiko Heckel 1781 days ago Replies (2) Last reply by Tom Ridge 1764 days ago
    For contributions that do not fit into any of the themes given, or if you are not sure where it fits best.
    • Public

    Modelling and analysis of concurrent systems

    Started by Reiko Heckel 1808 days ago Replies (3) Last reply by Dirk Janssens 1771 days ago
    Graphical rules can model distributed protocols in an intuitive and concise way, yet provide a formal specification amenable to verification. Which problem domains are likely to benefit from such an approach to modelling? What properties do we...
  • Concurrency of controlled graph transformations

    Started by Reiko Heckel 1808 days ago Replies (1) Last reply by Reiko Heckel 1795 days ago
    For reasons of expressivity, conciseness of specification, etc. GTS are often augmented with control structures (negative application conditions, programming language-like control structures, priorities, etc).  What does this do to existing...
    • Public

    Concurrent programming

    Started by Reiko Heckel 1808 days ago Replies (1) Last reply by Reiko Heckel 1795 days ago
    GT models are executable, and with their natural model of concurrency they may be more suitable for programming concurrent systems (e.g., based on multicore/multiprocessor/distributed architectures) than traditional programming languages. What...