Marco Carbone

Search results

• 2024

  A Mechanisation of Multiparty Session Types

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

  Research output: Theses › PhD thesis

  • 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 p.

  Research output: Theses › PhD thesis

  Open Access

  File

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

• 2014

  Choreographic Programming

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

  Research output: Theses › PhD thesis

  Open Access

  File

  • Deadlock 100%
  • Distributed Programming 100%
  • Race Condition 100%
  • Distributed System 100%
  • Input/Output 50%