Marco Carbone

Søgeresultater

• 2024

  A Mechanisation of Multiparty Session Types

  Tirore, D., 2024, IT-Universitetet i København. 160 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  • Multiparty Session Types 100%
  • Mechanization 100%
  • Session Types 100%
  • Type Systems 100%
  • Distributed System 66%
• 2016

  Flexible Process Notations for Cross-organizational Case Management Systems

  Slaats, T., 2016, IT-Universitetet i København. 276 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Åben adgang

  Fil

  • Process Notation 100%
  • Cross-organization 100%
  • Dynamic Condition Response Graphs 100%
  • Flexible Process 100%
  • Case Management System 100%
• 2014

  Choreographic Programming

  Montesi, F., 2014, IT-Universitetet i København. 275 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Åben adgang

  Fil

  • Choreographic Programming 100%
  • Deadlock 100%
  • Distributed Programming 100%
  • Race Condition 100%
  • Distributed System 100%