<p>I would like to find a free software (running under Windows 8) which could simulate every single step of Process Algebras of the most general form as given in the Handbook of Process Algebras and some of decidable questions about decidable problems about them. I.e. esp. I do not want that it would be limited to linear time, colored,finite-state or otherwise restricted class of them from the very beginning. I understand that many questions will be undecidable, but I still want to design my own model in this generality and simulate it step by step.</p>

CC BY-SA 4.0
2020-12-17T20:36:49.507Z
This is probably not the answer you were hoping for, but process algebras in general are Turing complete, so you need a general purpose programming language to simulate process algebras in general. Any normal programming language will do.
Martin Berger
CC BY-SA 4.0
2020-12-19T18:27:06.243Z
@MartinBerger I'm aware of what you write, **but** in the first place I need a **graphical enviroment** for those process algebras.
user852508
CC BY-SA 4.0
2020-12-19T22:26:47.383Z
I don't understand why you need a graphical environment for understanding process algebra. I wrote a PhD about them without a graphical environment. PAs are a theoretical tool. A mathematical abstraction. You can implement your own simulator.
Martin Berger
<software><process-algebra>
process algebra: a verification tools
user852508
# process algebra: a verification tools

(Asked by: username_0 on 2020-12-15)

I would like to find a free software (running under Windows 8) which could simulate every single step of Process Algebras of the most general form as given in the Handbook of Process Algebras and some of decidable questions about decidable problems about them. I.e. esp. I do not want that it would be limited to linear time, colored,finite-state or otherwise restricted class of them from the very beginning. I understand that many questions will be undecidable, but I still want to design my own model in this generality and simulate it step by step.

**Tags:** software, process-algebra

> **Comments:**
> **username_1**: This is probably not the answer you were hoping for, but process algebras in general are Turing complete, so you need a general purpose programming language to simulate process algebras in general. Any normal programming language will do.  
> **username_0**: @MartinBerger I'm aware of what you write, **but** in the first place I need a **graphical enviroment** for those process algebras.  
> **username_1**: I don't understand why you need a graphical environment for understanding process algebra. I wrote a PhD about them without a graphical environment. PAs are a theoretical tool. A mathematical abstraction. You can implement your own simulator.  

---

## 0 answers

