타이핑 된 프로세스 미적분학의 건전성을 증명하기 위해 증거 보조원을 사용한 사람이 있습니까?
-
06-09-2019 - |
문제
... 그리고 그들이 읽을 여유가있는 결과를 출판 했습니까?
해결책 2
아, David N.Turner의 논문에서 Pict 프로그래밍 언어의 기초가되는 프로세스 미적분학에 대한 건전성 증명이 있습니다.
다른 팁
그만큼 공식적인 증거 아카이브 "Process Calculi"카테고리에 몇 가지 항목이 있습니다. 주제, CCS 및 PI 미적분학과 같은.
제휴하지 않습니다 StackOverflow