A simulator for π-calculus processes.
EpiM is a software package developed for computing execution spaces of π-calculus processes. It is build upon the general graph transformation framework in MØD.
The software is implemented in Python 3, but utilizes the core of MØD, which is implemented in C++, for the computation of execution spaces. The package also includes a large visualisation module that makes it possible to visualise (recursive) processes and their execution spaces.
@inproceedings{AHMKP20, author = {Andersen, Jakob Lykke and Hellmuth, Marc and Merkle, Daniel and N{\o}jgaard, Nikolai and Peressotti, Marco}, title = {A Graph-Based Tool to Embed the π-Calculus into a Computational {DPO} Framework}, year = {2020}, editor = {Manolopoulos, Yannis and Papadopoulos, George Α. and Tzouramanis, Theodoros}, booktitle = {Proceedings of the SOFSEM 2020 Student Research Forum co-located with the 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020)}, volume = {2568}, pages = {121-132}, publisher = {CEUR-WS.org}, url = {http://ceur-ws.org/Vol-2568/paper11.pdf} }