Anemone: A workbench for the Multi-Bach coordination language

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish
Article number102579
JournalScience of Computer Programming
Publication statusPublished - 1 Feb 2021


  • Animation
  • Bach
  • Coordination languages
  • Verification


Dive into the research topics of 'Anemone: A workbench for the Multi-Bach coordination language'. Together they form a unique fingerprint.

Cite this