A new process algebra more suitable for formal specification

Wenguang Ju. A new process algebra more suitable for formal specification. In CSSE 2021: 2021 4th International Conference on Computer Science and Software Engineering, Singapore, October 22 - 24, 2021. pages 103-106, ACM, 2021. [doi]

Abstract

Abstract is missing.