SCOOP Workbench
This site contains supplementary material to our FAC submission titled A semantics comparison workbench for a concurrent, asynchronous, distributed programming language
. Here, we provide steps to reproduce the experiments and explain some of the technical aspects related to the SCOOP GTS in more detail. The site is organized as follows.
Setup
contains the steps to obtain the sources, use the tool, and run the experiments.SCOOP-GTS example: Dining Philosophers
covers the dining philosophers example in more detail by providing additional rules and other descriptions of the example.