skip to main content
Language:
Refined by: author/creator: Brazilian Symposium on Formal Methods - SBMF remove Journal Title: Electronic Notes in Theoretical Computer Science remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
From active names to π-calculus rewriting rules
From active names to π-calculus rewriting rules
Material Type:
Conference Paper 		Add to e-Shelf

From active names to π-calculus rewriting rules

Ana Cristina Vieira de Melo Brazilian Symposium on Formal Methods - SBMF (2004 Recife)

Electronic Notes in Theoretical Computer Science Amsterdam v. 130, p. 169-185, 2005

Amsterdam 2005

Available at IME - Inst. Matemática e Estatística    (PROD-1477195 ) and other locations(GetIt)

2
Model checking merged program traces
Model checking merged program traces
Material Type:
Conference Paper 		Add to e-Shelf

Model checking merged program traces

Paulo Salem da Silva Ana Cristina Vieira de Melo; Brazilian Symposium on Formal Methods - SBMF (11. 2008 Salvador, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 240, p. 97-112, 2009

Amsterdam Elsevier 2009

Available at IME - Inst. Matemática e Estatística    (PROD-3010468 )(GetIt)

Personalize your results

  1. Edit

Refine Search Results

Creation Date 

From To
Refine

Suggested New Searches

Ignore my query and look for everything

by this author/creator:

  1. Brazilian Symposium on Formal Methods - SBMF
  2. Melo, A
  3. Silva, P

on this subject:

  1. Java
  2. Modelos Matemáticos
  3. Teoria Dos Autômatos
  4. Modelos De Processo De Software

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait