skip to main content
Idioma:
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: autor: Nestmann, Uwe remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
Material Type:
Artigo 		Adicionar ao Meu Espaço

Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy

Bisping, Benjamin ; Jansen, David N ; Nestmann, Uwe

arXiv.org, 2022-08 [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
2
FTMPST: Fault-Tolerant Multiparty Session Types
FTMPST: Fault-Tolerant Multiparty Session Types
Material Type:
Artigo 		Adicionar ao Meu Espaço

FTMPST: Fault-Tolerant Multiparty Session Types

Peters, Kirstin ; Nestmann, Uwe ; Wagner, Christoph

Logical methods in computer science, 2023-01, Vol.19, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
3
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
Material Type:
Artigo 		Adicionar ao Meu Espaço

Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy

Bisping, Benjamin ; Jansen, David N. ; Nestmann, Uwe

Logical methods in computer science, 2022-08, Vol.18, Issue 3 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
4
Dynamic Causality in Event Structures
Dynamic Causality in Event Structures
Material Type:
Artigo 		Adicionar ao Meu Espaço

Dynamic Causality in Event Structures

Youssef Arbach ; David S. Karcher ; Kirstin Peters ; Uwe Nestmann

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

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
5
ProofBuddy: A Proof Assistant for Learning and Monitoring
ProofBuddy: A Proof Assistant for Learning and Monitoring
Material Type:
Artigo 		Adicionar ao Meu Espaço

ProofBuddy: A Proof Assistant for Learning and Monitoring

Karsten, Nadine ; Jacobsen, Frederik Krogsdal ; Kim Jana Eiken ; Nestmann, Uwe ; Villadsen, Jørgen

arXiv.org, 2023-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
FTMPST: Fault-Tolerant Multiparty Session Types
FTMPST: Fault-Tolerant Multiparty Session Types
Material Type:
Artigo 		Adicionar ao Meu Espaço

FTMPST: Fault-Tolerant Multiparty Session Types

Peters, Kirstin ; Nestmann, Uwe ; Wagner, Christoph

arXiv.org, 2023-11

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
Dynamic Causality in Event Structures
Dynamic Causality in Event Structures
Material Type:
Artigo 		Adicionar ao Meu Espaço

Dynamic Causality in Event Structures

Arbach, Youssef ; Karcher, David S ; Peters, Kirstin ; Nestmann, Uwe

arXiv.org, 2018-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
On the Distributability of Mobile Ambients
On the Distributability of Mobile Ambients
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the Distributability of Mobile Ambients

Peters, Kirstin ; Nestmann, Uwe

arXiv.org, 2018-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
On the Distributability of Mobile Ambients (Technical Report)
On the Distributability of Mobile Ambients (Technical Report)
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the Distributability of Mobile Ambients (Technical Report)

Peters, Kirstin ; Nestmann, Uwe

arXiv.org, 2018-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)
Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)

Peters, Kirstin ; Wagner, Christoph ; Nestmann, Uwe

arXiv.org, 2019-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
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 (9)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (24)
  2. Anais de Congresso  (2)
  3. Livros  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2006  (3)
  2. 2006Até2011  (4)
  3. 2012Até2014  (5)
  4. 2015Até2018  (10)
  5. Após 2018  (7)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.