skip to main content
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: autor: Barbanera, Franco remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Theory of Formal Choreographic Languages
Material Type:
Artigo
Adicionar ao Meu Espaço

A Theory of Formal Choreographic Languages

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio

Logical methods in computer science, 2023-08, Vol.19, Issue 3 (3) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

2
Intersection Types for the lambda-mu Calculus
Material Type:
Artigo
Adicionar ao Meu Espaço

Intersection Types for the lambda-mu Calculus

Steffen van Bakel ; Franco Barbanera ; Ugo de'Liguoro

Logical methods in computer science, 2018-01, Vol.14, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

3
Retractability, games and orchestrators for session contracts
Material Type:
Artigo
Adicionar ao Meu Espaço

Retractability, games and orchestrators for session contracts

Franco Barbanera ; Ugo de'Liguoro

Logical methods in computer science, 2017-01, Vol.13, Issue 3 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

4
Partially Typed Multiparty Sessions
Material Type:
Artigo
Adicionar ao Meu Espaço

Partially Typed Multiparty Sessions

Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola

arXiv.org, 2023-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

5
A Theory of Formal Choreographic Languages
Material Type:
Artigo
Adicionar ao Meu Espaço

A Theory of Formal Choreographic Languages

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio

arXiv.org, 2023-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

6
On Composing Communicating Systems
Material Type:
Artigo
Adicionar ao Meu Espaço

On Composing Communicating Systems

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio

arXiv.org, 2022-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

7
Open Multiparty Sessions
Material Type:
Artigo
Adicionar ao Meu Espaço

Open Multiparty Sessions

Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola

arXiv.org, 2019-09

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

8
Session Types for Orchestrated Interactions
Material Type:
Artigo
Adicionar ao Meu Espaço

Session Types for Orchestrated Interactions

Barbanera, Franco ; de'Liguoro, Ugo

arXiv.org, 2017-11

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

9
Composition of choreography automata
Material Type:
Artigo
Adicionar ao Meu Espaço

Composition of choreography automata

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio

arXiv.org, 2021-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

10
Intersection Types for the lambda-mu Calculus
Material Type:
Artigo
Adicionar ao Meu Espaço

Intersection Types for the lambda-mu Calculus

Steffen van Bakel ; Barbanera, Franco ; de'Liguoro, Ugo

arXiv.org, 2018-01

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (11)

Data de Publicação 

De até
  1. Antes de2003  (2)
  2. 2003Até2012  (2)
  3. 2013Até2014  (3)
  4. 2015Até2017  (6)
  5. Após 2017  (13)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.