Formalizando Concorrência com Lógica Categorial

A Teoria da Computação Concorrente, através das poderosas ferramentas que são a Teoria das Categorias e sua base, Lógica Categorial, tem alcançado importância crescente nas pesquisas científicas atualmente, devido ao seu uso em especificações de sistemas de software com exatidão, clareza, correção e ausência de ambiguidade. Entre os objetivos desta pesquisa, está o estudo da Lógica Categorial, visando à formalização da Teoria da Computação Concorrente. Também é um objetivo da pesquisa a produção de uma apostila sobre Lógica Categorial que tenha um texto autocontido, de fácil entendimento e enriquecido com exemplos de aplicação a sistemas concorrentes, questionamentos e exercícios com dicas. A razão para essa produção consiste em facilitar o ensino, o aprendizado e a obtenção de um embasamento teórico sobre a matéria, visando à sua aplicação à formalização da Teoria da Computação Concorrente.