GρπF: Graphical ρπ Framework
Fuente:
Zenodo
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Recurso digital |
| Sprache: | Englisch |
| Veröffentlicht: |
Zenodo
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866902317160202240 |
|---|---|
| author | Cailler, Julie Vassor, Martin |
| author_facet | Cailler, Julie Vassor, Martin |
| contents | <div> <div>GρπF is a web-based interactive tool for visualizing and manipulating ρπ-calculus terms using a graph rewriting semantics.</div> <div>It allows you to define processes, channels, and communications, apply reduction rules, and observe the evolution of processes graphically.</div> </div> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_20055031 |
| institution | Zenodo |
| language | eng |
| publishDate | 2026 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | GρπF: Graphical ρπ Framework Cailler, Julie Vassor, Martin Reversible Process Calculus Graph Rewriting Causal Consistent Reversibility <div> <div>GρπF is a web-based interactive tool for visualizing and manipulating ρπ-calculus terms using a graph rewriting semantics.</div> <div>It allows you to define processes, channels, and communications, apply reduction rules, and observe the evolution of processes graphically.</div> </div> |
| title | GρπF: Graphical ρπ Framework |
| topic | Reversible Process Calculus Graph Rewriting Causal Consistent Reversibility |
| url | https://doi.org/10.5281/zenodo.20055031 |