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.

中文翻译：

---

海葵：Multi-Bach协调语言的工作台

尽管已经在基于数据的协调语言的理论和实现上进行了大量研究工作，但是并没有花太多精力来构建用于分析和推理以这些语言编写的程序的编程环境。本文提出了一个工作台，用于使用类似Linda的语言描述并发系统，对其进行动画处理并使用可达性逻辑对其进行推理。