Résumé
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 over programs written in these languages. This paper proposes a workbench for describing concurrent systems using a Linda-like language, for animating them and for reasoning over them using a reachability logic.
langue originale | Anglais |
---|---|
Numéro d'article | 102579 |
journal | Science of Computer Programming |
Volume | 202 |
Les DOIs | |
Etat de la publication | Publié - 1 févr. 2021 |