HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes.

Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan

Browse the full SETTA paper archive.