Marco Peressotti

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Filtrer

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

Publikationer