Jesper Bengtson

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%
• 2021

  Sessions and Separation

  Hinrichsen, J. K., 2021, IT-Universitetet i København. 156 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Åben adgang

  Fil

  • Session Types 100%
  • Type Systems 100%
  • Separation Logic 55%
  • Concurrency 50%
  • Iris 33%