skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Concurrency remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic

Hinrichsen, Jonas Kastberg ; Bengtson, Jesper ; Krebbers, Robbert

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

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
2
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
Material Type:
Artigo 		Adicionar ao Meu Espaço

ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity

Frumin, Dan ; Krebbers, Robbert ; Birkedal, Lars

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

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
3
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

Paulus, Joseph W. N. ; Nantes-Sobrinho, Daniele ; Pérez, Jorge A.

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
4
Causal Consistency for Reversible Multiparty Protocols
Causal Consistency for Reversible Multiparty Protocols
Material Type:
Artigo 		Adicionar ao Meu Espaço

Causal Consistency for Reversible Multiparty Protocols

Mezzina, Claudio Antares ; Pérez, Jorge A.

Logical methods in computer science, , Vol.17, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
5
A Scalable Algorithm for Decentralized Actor Termination Detection
A Scalable Algorithm for Decentralized Actor Termination Detection
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Scalable Algorithm for Decentralized Actor Termination Detection

Plyukhin, Dan ; Agha, Gul

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

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
6
Thin Games with Symmetry and Concurrent Hyland-Ong Games
Thin Games with Symmetry and Concurrent Hyland-Ong Games
Material Type:
Artigo 		Adicionar ao Meu Espaço

Thin Games with Symmetry and Concurrent Hyland-Ong Games

Simon Castellan ; Pierre Clairambault ; Glynn Winskel

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

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
7
An intensionally fully-abstract sheaf model for pi (expanded version)
An intensionally fully-abstract sheaf model for pi (expanded version)
Material Type:
Artigo 		Adicionar ao Meu Espaço

An intensionally fully-abstract sheaf model for pi (expanded version)

Eberhart, Clovis ; Hirschowitz, Tom ; Seiller, Thomas

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

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
8
Failure Trace Semantics for a Process Algebra with Time-outs
Failure Trace Semantics for a Process Algebra with Time-outs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Failure Trace Semantics for a Process Algebra with Time-outs

Rob van Glabbeek

Logical methods in computer science, 2021-01, Vol.17, Issue 2 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
9
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
10
Games and Strategies as Event Structures
Games and Strategies as Event Structures
Material Type:
Artigo 		Adicionar ao Meu Espaço

Games and Strategies as Event Structures

Castellan, Simon ; Clairambault, Pierre ; Rideau, Silvain ; Winskel, Glynn

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

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (715)
  2. Revistas revisadas por pares (329)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (648)
  2. Anais de Congresso  (71)
  3. Book Chapters  (16)
  4. Livros  (7)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1991  (13)
  2. 1991Até1998  (30)
  3. 1999Até2006  (57)
  4. 2007Até2015  (301)
  5. Após 2015  (346)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (16)
  2. Espanhol  (1)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.