This is a draft policy document intended for discussion and feedback.
Executive Summary
There are many urgent problems for ICT in Europe. We mention in particular the chronic shortage of informatics professionals and the lack of experimental...
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...
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...
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...