State Key Laboratory of Software Development Environment, Beijing University of Aeronautics and Astronautics, Beijing, China
Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China.
Copyright © 2013 Wei Li, Yuefei Sui et al. This is
an open access article distributed under the Creative Commons Attribution
License, which permits unrestricted use, distribution, and reproduction in any
medium, provided the original work is properly cited.
How to Cite this Article
Li, W. and Sui, Y. (2013) One Sound and Complete
R-Calculus with Pseudo-Subtheory Minimal Change Property.
Journal of Computer and Communications,
1, 20-25. doi:
10.4236/jcc.2013.15004.