Process (computing)

Biology

Visualization

Theoretical computer science

Computer science

Botany

Process calculus

Reachability

Anemone

Artificial intelligence

Software engineering

Programming language

Workbench

Science of Computer Programming

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.

Anemone: A workbench for the Multi-Bach coordination language