---
title: "A Prover for Parallel Processes"
authors:
  - "Masahiro Hirata"
  - "Toshio Nishimura"
doi: ""
url: "https://ijcai.org/proceedings/1979/83"
pdf: "https://ijcai.org/proceedings/1979/0083.pdf"
venue: "Proceedings of the Sixth International Joint Conference on Artificial Intelligence"
year: 1979
pages: ""
track: ""
keywords:
---

# A Prover for Parallel Processes

Masahiro Hirata, Toshio Nishimura

*Proceedings of the Sixth International Joint Conference on Artificial Intelligence*.

## Abstract