Taolue Chen, Tingting Han, Jian Lu. Towards a Model Logic for p-Calculus. In 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings. pages 330-335, IEEE Computer Society, 2004. [doi]
Abstract is missing.