Alguém tem usado um assistente de prova para comprovar a solidez de um cálculo de processos digitado?
-
06-09-2019 - |
Pergunta
... E eles têm publicado os resultados onde posso dar ao luxo de lê-los?
Solução 2
Ah, não é uma prova de solidez para o cálculo de processos subjacentes à linguagem de programação Pict na tese de David N.Turner.
Outras dicas
Existem várias pessoas fazendo coisas ao longo destas linhas. Olhar através dos papéis em PVS local de John Rushbie, e olhar para noreferrer papéis de Coq.
citeseer provavelmente vai fazer algo de bom também - quase todo mundo hoje em dia publica seus preprints para citeseer, então um pouco de olhar ao redor normalmente você irá obter o mesmo papel, ou algo muito parecido com o artigo publicado na revista caro.
O Arquivo de provas formais tem várias entradas na categoria "Processo de Cálculos" listados em sua tópicos , como CCS e Pi Cálculo.