Repository to collaborate on Ambient Calculus research.
If you know any paper, tool or other material that is helpful in understanding and researching ambient calculus, let us know in the issues or open a PR that adds a link to it!
We're maintaining a list of all ambient calculus related research papers in this repository.
List of ambient calculus research papers
- AmbIcobjs - Simulation tool for ambient calculus reductions
- The Ambient Calculus lecture slides - Overview of Ambient Calculus, examples (boolean flags, objective moves, turing machines), encoding π-calculus in ambient calculus, types for ambients.
CC-BY-SA 4.0, © 2019 Haja Networks Oy