Login / Signup

Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions.

Ilaria CastellaniMariangiola Dezani-CiancagliniPaola Giannini
Published in: Fundam. Informaticae (2024)
Keyphrases
  • multi party
  • event detection
  • global information
  • case study
  • semantic structure
  • software engineering
  • temporal structure
  • language constructs
  • floor control