Semantic Component Behavior Equivalence Analysis based on Higher-order Typed p Calculus.
Saved in:
| Title: | Semantic Component Behavior Equivalence Analysis based on Higher-order Typed p Calculus. |
|---|---|
| Authors: | Qing Wu1, wuqing@hdu.edu.cn, Chunbo Zhao1, Weihua Hu1 |
| Source: | Proceedings of the International Symposium on Information Systems & Applications; 2009, p115-118, 4p, 3 Diagrams |
| Database: | Applied Science & Technology Source |
| ISBN: | 9789525726046 |
|---|
