[JACOB-6] Better Process modeling for pi calculus
3 files changed
tree: 85712c41b369a80d802c2b4e9f4e5f686af0b044
  1. .gitignore
  2. pom.xml
  3. src/