skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Process Algebra remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
Material Type:
Artigo 		Adicionar ao Meu Espaço

Rooted Divergence-Preserving Branching Bisimilarity is a Congruence

Rob van Glabbeek ; Bas Luttik ; Linda Spaninks

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

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
3
Psi-Calculi Revisited: Connectivity and Compositionality
Psi-Calculi Revisited: Connectivity and Compositionality
Material Type:
Artigo 		Adicionar ao Meu Espaço

Psi-Calculi Revisited: Connectivity and Compositionality

Johannes Åman Pohjola

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

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
4
A Distribution Law for CCS and a New Congruence Result for the pi-calculus
A Distribution Law for CCS and a New Congruence Result for the pi-calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Distribution Law for CCS and a New Congruence Result for the pi-calculus

Hirschkoff, Daniel ; Pous, Damien

Logical methods in computer science, 2008-05, Vol.4, Issue 2 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
5
Separability in the Ambient Logic
Separability in the Ambient Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Separability in the Ambient Logic

Hirschkoff, Daniel ; Lozes, Etienne ; Sangiorgi, Davide

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

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
6
Completeness in real time process algebra
Completeness in real time process algebra
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Completeness in real time process algebra

Klusener, A. S.

CONCUR '91, 2005, p.376-392 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
ACPτ a universal axiom system for process specification
ACPτ a universal axiom system for process specification
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

ACPτ a universal axiom system for process specification

Bergstra, J. A. ; Klop, J. W.

Algebraic Methods: Theory, Tools and Applications, 2005, p.445-463 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
Algebra of communicating processes with abstraction
Algebra of communicating processes with abstraction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Algebra of communicating processes with abstraction

Bergstra, J.A. ; Klop, J.W.

Theoretical computer science, 1985, Vol.37 (1), p.77-121 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
9
Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge
Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge
Material Type:
Artigo 		Adicionar ao Meu Espaço

Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge

Aceto, Luca ; Fokkink, Wan ; Ingolfsdottir, Anna ; Luttik, Bas

Logical methods in computer science, 2005-03, Vol.1, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
10
Term rewriting properties of SOS axiomatisations
Term rewriting properties of SOS axiomatisations
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Term rewriting properties of SOS axiomatisations

Bosscher, D. J. B.

Theoretical Aspects of Computer Software, 2005, p.425-439 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (14)
  2. Revistas revisadas por pares (15)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (11)
  2. Book Chapters  (3)
  3. Anais de Congresso  (2)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1987  (2)
  2. 1987Até1996  (2)
  3. 1997Até2004  (3)
  4. 2005Até2020  (9)
  5. Após 2020  (1)
  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.