Author:
Zheng Guang,Wu Jinzhao,He Xiaojuan,Lu Aiping
Reference11 articles.
1. Luca Aceto, Willem Jan Fokkink, Anna Inǵolfsd́ottir and Bas Luttik, Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge, BRICS Report Series RS-04-1, ISSN 0909-0878 January 2004.
2. H. Hermanns and M. Rettelbach. Syntax, Semantics, Equivalences, and Axioms for MTIPP. In U. Herzog and M. Rettelbach, editors, Proc. of the 2nd Workshop on Process Algebras and Performance Modelling, Erlangen-Regensberg, July 1994. IMMD, Universitat Erlangen-Nurnberg.
3. M. Hennessy and H. Lin. Proof Systems for Message-Passing Process Algebras. Formal Aspects of Computing 1996; 8:379-407, BCS, 1996.
4. Holger Hermanns and Joost-Pieter Katoen, Performance Evaluation:=(Process Algebra + Model Checking) × Markov. Chains, K.G. Larsen and M. Nielsen (Eds.): CONCUR 2001, LNCS 2154, pp. 59C81, 2001. Springer-Verlag Berlin Heidelberg 2001.
5. A. Inǵolfsd́ottir and H. Lin. A symbolic Approach to value passing Processes. In J.A. Bergstra, A. Ponse, and S.A. Smolka, eds., Handbook of Process Algebra, 427-478, Elsevier, 2001.