A Prover for Parallel Processes
Abstract
We give an automatic prover for verifying logical properties of parallel processes. The prover bases on a subsystem of the system given in [8]. We mechanize it so that a proof-tree is automatically constructed. The prover reduces a parallel program into possible serial ones by applying rules of inference 'interruption' etc.. This paper includes some examples processed by the prover.
Cite
Text
Hirata and Nishimura. "A Prover for Parallel Processes." International Joint Conference on Artificial Intelligence, 1979.Markdown
[Hirata and Nishimura. "A Prover for Parallel Processes." International Joint Conference on Artificial Intelligence, 1979.](https://mlanthology.org/ijcai/1979/hirata1979ijcai-prover/)BibTeX
@inproceedings{hirata1979ijcai-prover,
title = {{A Prover for Parallel Processes}},
author = {Hirata, Masahiro and Nishimura, Toshio},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1979},
pages = {384-389},
url = {https://mlanthology.org/ijcai/1979/hirata1979ijcai-prover/}
}