skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
previous page 1 Resultados 2 3 4 5 next page
Refinado por: Nome da Publicação: Electronic Notes in Theoretical Computer Science remover assunto: Process Algebra remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Robin Milner's Work on Concurrency
Robin Milner's Work on Concurrency
Material Type:
Artigo 		Adicionar ao Meu Espaço

Robin Milner's Work on Concurrency

Abramsky, Samson

Electronic notes in theoretical computer science, 2010-09, Vol.265, p.5-10

Elsevier B.V

Texto completo disponível

Citações Citado por
12
HYPE Applied to the Modelling of Hybrid Biological Systems
HYPE Applied to the Modelling of Hybrid Biological Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

HYPE Applied to the Modelling of Hybrid Biological Systems

Galpin, Vashti ; Hillston, Jane ; Bortolussi, Luca

Electronic notes in theoretical computer science, 2008-10, Vol.218, p.33-51

Elsevier B.V

Texto completo disponível

Citações Citado por
13
Making the Unobservable, Unobservable
Making the Unobservable, Unobservable
Material Type:
Artigo 		Adicionar ao Meu Espaço

Making the Unobservable, Unobservable

Rathke, Julian ; Sobociński, Paweł

Electronic notes in theoretical computer science, 2009-07, Vol.229 (3), p.131-144

Elsevier B.V

Texto completo disponível

Citações Citado por
14
CSP-CASL-Prover: A Generic Tool for Process and Data Refinement
CSP-CASL-Prover: A Generic Tool for Process and Data Refinement
Material Type:
Artigo 		Adicionar ao Meu Espaço

CSP-CASL-Prover: A Generic Tool for Process and Data Refinement

O'Reilly, Liam ; Roggenbach, Markus ; Isobe, Yoshinao

Electronic notes in theoretical computer science, 2009-09, Vol.250 (2), p.69-84

Elsevier B.V

Texto completo disponível

Citações Citado por
15
Formalizing WSBPEL Business Processes Using Process Algebra
Formalizing WSBPEL Business Processes Using Process Algebra
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formalizing WSBPEL Business Processes Using Process Algebra

Cámara, Javier ; Canal, Carlos ; Cubo, Javier ; Vallecillo, Antonio

Electronic notes in theoretical computer science, 2006-05, Vol.154 (1), p.159-173

Elsevier B.V

Texto completo disponível

Citações Citado por
16
An Exercise on Transition Systems
An Exercise on Transition Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Exercise on Transition Systems

Ribeiro, Paula R. ; Barbosa, L.S. ; Wang, Shuling

Electronic notes in theoretical computer science, 2008-04, Vol.207, p.89-106

Elsevier B.V

Texto completo disponível

Citações Citado por
17
Topological Construction of Parameterized Bisimulation Limit
Topological Construction of Parameterized Bisimulation Limit
Material Type:
Artigo 		Adicionar ao Meu Espaço

Topological Construction of Parameterized Bisimulation Limit

Ma, Yanfang ; Zhang, Min

Electronic notes in theoretical computer science, 2009-12, Vol.257, p.55-70

Elsevier B.V

Texto completo disponível

Citações Citado por
18
Improved Continuous Approximation of PEPA Models through Epidemiological Examples
Improved Continuous Approximation of PEPA Models through Epidemiological Examples
Material Type:
Artigo 		Adicionar ao Meu Espaço

Improved Continuous Approximation of PEPA Models through Epidemiological Examples

Benkirane, Soufiene ; Hillston, Jane ; McCaig, Chris ; Norman, Rachel ; Shankland, Carron

Electronic notes in theoretical computer science, 2009-02, Vol.229 (1), p.59-74

Elsevier B.V

Texto completo disponível

Citações Citado por
19
Towards a Logic for Performance and Mobility
Towards a Logic for Performance and Mobility
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards a Logic for Performance and Mobility

De Nicola, Rocco ; Katoen, Joost-Pieter ; Latella, Diego ; Massink, Mieke

Electronic notes in theoretical computer science, 2006-05, Vol.153 (2), p.161-175

Elsevier B.V

Texto completo disponível

Citações Citado por
20
A Behavioural Pseudometric based on λ–Bisimilarity
A Behavioural Pseudometric based on λ–Bisimilarity
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Behavioural Pseudometric based on λ–Bisimilarity

Zhang, Jinjin ; Zhu, Zhaohui

Electronic notes in theoretical computer science, 2008-12, Vol.220 (3), p.115-127

Elsevier B.V

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de2002  (2)
  2. 2002Até2003  (3)
  3. 2004Até2005  (13)
  4. 2006Até2008  (42)
  5. Após 2008  (16)
  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.