HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes

Lecture notes in computer science 2026 Open access

Read full text

Authors: Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan

DOI: 10.1007/978-981-95-7826-9_7

Cited by: 1

References: 27

Fields of Study & Subjects

Service-Oriented Architecture and Web Services Business Process Modeling and Analysis Simulation Techniques and Applications

References 27