Marco Peressotti

Søgeresultater

• 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

  • Semantics
  • Derivatives
  • Chemical analysis
• 2017

  Behavioural equivalences for timed systems

  Brengos, T. & Peressotti, M., 28. nov. 2017, 41 s.

  Publikation: Working paper › Forskning

  • Semantics

• Loose Graph Simulations

  Mansutti, A., Miculan, M. & Peressotti, M., 23. maj 2017.

  Publikation: Working paper › Forskning

  • Formal languages
  • Pattern matching
  • Polynomials

• On the trade-off between labels and weights in quantitative bisimulation

  Peressotti, M., 18. maj 2017, 15 s.

  Publikation: Working paper › Forskning

  • Labels
  • Information systems