Owner: Reiko Heckel
Group members: 13
The aim is to discuss ideas in (at least) three themes, without having to write papers or review them. To prepare the workshop, discussion fora are set up below, for general contirbutions and more thematic contributions.
General Discussion for all contributions that do not obviously fit any of the three themes below.
The three themes are
Theory: Concurrency of controlled graph transformations
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).
Join the discussion to add your views, propose new problems, etc.
Models: Specifying and analysing concurrent systems
Graphical rules can model distributed protocols in an intuitive and concise way, yet provide a formal specification amenable to verification.
Join the discussion to add your views, propose new problems, etc.
Programs: Development of concurrent software
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.
Join the discussion to add your views, propose new problems, etc.