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

  • Transition System 100%
  • Input/Output 50%
  • Parallelism 50%
  • Denotational Semantics 50%
  • Parallel Composition 50%
• 2017

  Behavioural equivalences for timed systems

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

  Publikation: Working paper › Forskning

  • Transition System 100%
  • Calculus 100%
  • Automaton 25%

• Loose Graph Simulations

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

  Publikation: Working paper › Forskning

  • Pattern Matching 100%
  • Regular Language 100%
  • Subgraph Isomorphism 100%
  • Polynomial 100%
  • Labelled Graph 33%

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

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

  Publikation: Working paper › Forskning

  • Transition System 100%
  • And-States 16%