Marco Peressotti

If you made any changes in Pure these will be visible here soon.

Filter

2018
Better Late Than Never: A Fully Abstract Semantics for Classical Processes
Kokke, W., Montesi, F. & Peressotti, M., 6. Nov 2018.
Research output: Working paper › Research
2017
Behavioural equivalences for timed systems
Brengos, T. & Peressotti, M., 28. Nov 2017, 41 p.
Research output: Working paper › Research
Loose Graph Simulations
Mansutti, A., Miculan, M. & Peressotti, M., 23. May 2017.
Research output: Working paper › Research
On the trade-off between labels and weights in quantitative bisimulation
Peressotti, M., 18. May 2017, 15 p.
Research output: Working paper › Research

Research output