skip to main content
Idioma:
Primo Search
Clear Search Box
Search in: Busca Geral
Busca Avançada
Busca por Índices
Tipo de recurso Mostra resultados com: Mostra resultados com: Índice

Multiparty Asynchronous Session Types

Honda, Kohei ; Yoshida, Nobuko ; Carbone, Marco

Journal of the ACM, 2016-03, Vol.63 (1), p.1-67 [Periódico revisado por pares]

New York: ACM

Texto completo disponível

Citações Citado por
  • Título:
    Multiparty Asynchronous Session Types
  • Autor: Honda, Kohei ; Yoshida, Nobuko ; Carbone, Marco
  • Assuntos: Asynchronous ; Calculi ; Calculus ; Communication ; Foundations ; global protocols ; global types ; Mathematical analysis ; Programming ; Programming languages ; progress ; Projection ; Session types ; Software development ; Studies ; Systems development ; the pi-calculus
  • É parte de: Journal of the ACM, 2016-03, Vol.63 (1), p.1-67
  • Notas: ObjectType-Article-1
    SourceType-Scholarly Journals-1
    ObjectType-Feature-2
    content type line 23
  • Descrição: Communication is a central elements in software development. As a potential typed foundation for structured communication-centered programming, session types have been studied over the past decade for a wide range of process calculi and programming languages, focusing on binary (two-party) sessions. This work extends the foregoing theories of binary session types to multiparty, asynchronous sessions, which often arise in practical communication-centered applications. Presented as a typed calculus for mobile processes, the theory introduces a new notion of types in which interactions involving multiple peers are directly abstracted as a global scenario. Global types retain the friendly type syntax of binary session types while specifying dependencies and capturing complex causal chains of multiparty asynchronous interactions. A global type plays the role of a shared agreement among communication peers and is used as a basis of efficient type-checking through its projection onto individual peers. The fundamental properties of the session type discipline, such as communication safety, progress, and session fidelity, are established for general n-party asynchronous interactions.
  • Editor: New York: ACM
  • Idioma: Inglês
Voltar para lista de resultados

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.