• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Master's Dissertation
DOI
https://doi.org/10.11606/D.45.2003.tde-20220712-120534
Document
Author
Full name
Marcelo de Moura Amorim
E-mail
Institute/School/College
Knowledge Area
Date of Defense
Published
São Paulo, 2003
Supervisor
Title in Portuguese
Uma técnica de verificação para `pi¦-calculus baseada em bi-simulação up-to e algoritmos de particionamento
Keywords in Portuguese
Engenharia De Software
Abstract in Portuguese
Neste trabalho, apresentamos uma abordagem para o problema de verificação em `pi¦-calculus. Na nova abordagem são estudadas as vantagens e desvantagens em aplicar sistemas de normalização e técnicas de prova por bi-simulações up-to em algoritmos de verificação baseados na construção de autômatos de transição e no refinamento de partições (partition refinement algorithm). O objetivo é tentar juntar dois trabalhos propostos na literatura de verificação em `pi¦-calculus de maneira a obter vantagens durante o processo. Essa junção consiste em gerarmos os desdobramentos das transições do processo durante a construção do autômato realizando uma verificação sintática entre os estados já atingidos durante o desdobramento. A intenção é de minimizar o número de estados do autômato. Além do possível ganho em compactação do autômato, conseguimos, em alguns casos, reduzir um passo necessário na construção do autômato, no qual se faz necessário encontrar os nomes ativos de um processo. Durante este trabalho de pesquisa, a junção das duas técnicas foi implementada em um protótipo. Seções de testes e exemplos utilizando este protótipo são apresentadas
Title in English
not available
Abstract in English
not available
 
WARNING - Viewing this document is conditioned on your acceptance of the following terms of use:
This document is only for private use for research and teaching activities. Reproduction for commercial use is forbidden. This rights cover the whole data about this document as well as its contents. Any uses or copies of this document in whole or in part must include the author's name.
AmorimMarceloMoura.pdf (14.96 Mbytes)
Publishing Date
2022-07-13
 
WARNING: Learn what derived works are clicking here.
All rights of the thesis/dissertation are from the authors
CeTI-SC/STI
Digital Library of Theses and Dissertations of USP. Copyright © 2001-2022. All rights reserved.