Anemone: A workbench for the Multi-Bach coordination language

Résultats de recherche: Contribution à un journal/une revueArticleRevue par des pairs

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 originaleAnglais
Numéro d'article102579
journalScience of Computer Programming
Volume202
Les DOIs
Etat de la publicationPublié - 1 févr. 2021

Empreinte digitale

Examiner les sujets de recherche de « Anemone: A workbench for the Multi-Bach coordination language ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation