@inproceedings{b408252cb89246f09d23892fdb30bda6,
title = "Scan: A simple coordination workbench",
abstract = "Although many research efforts have been spent on the theory and implementation of data-based coordination languages, not much effort has been devoted to constructing programming environments to analyze and reason on programs written in these languages. This paper proposes a simple workbench for describing concurrent systems using a Linda-like language, for animating them and for reasoning on them using a fragment of linear temporal logic. In contrast to some tools developed for traditional process algebras like CCS, a key feature of our workbench is that it maintains a direct relation between what is written by the user and its internal representation in the workbench. Another feature, particularly useful for didactic purposes, is the production of trace examples, replayable, when LTL formulae are satisfied.",
keywords = "Animation, Bach, Coordination, Verification",
author = "Jacquet, {Jean Marie} and Manel Barkallah",
year = "2019",
month = jun,
day = "5",
doi = "10.1007/978-3-030-22397-7_5",
language = "English",
isbn = "9783030223960",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "75--91",
editor = "Emilio Tuosto and Emilio Tuosto and {Riis Nielson}, Hanne",
booktitle = "Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Proceedings",
address = "Germany",
note = "21st IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2019 held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019 ; Conference date: 17-06-2019 Through 21-06-2019",
}