Modeling the mobile communication service based on PI-calculus

Tongxin Xuebao/Journal on Communications

Volumn 30, Issue 4, 2009, Pages 11-16

  Kang, Hui ^a   Zeng, Ying Ying ^a   Liu, Zhi Yong ^a,b  

^a JILIN UNIVERSITY   (China)

^b NORTHEAST NORMAL UNIVERSITY   (China)

Author keywords

Communication service; PI calculus; Service composition

Indexed keywords

COMMUNICATION SERVICE; DESIGN STAGES; INTERWORKING; MOBILE COMMUNICATION SERVICES; MOBILE COMMUNICATIONS; PI-CALCULUS; SERVICE COMPOSITION; SERVICE PROVIDERS;

COMMUNICATION; MOBILE TELECOMMUNICATION SYSTEMS; REUSABILITY;

CALCULATIONS;

EID: 65649151738     PISSN: 1000436X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (7)

1. MILNER R. The Polyadic PI-calculus: a tutorial [EB/OL]. http://citeseer.ist.psu.edu/19489.html, 1991.
2. MILNER R. Action structures for the PI-calculus [EB/OL]. http://citeseer.ist.psu.edu/53501.html, 1993.
3. CATTANI G L, STARK I, WINSKEL G. Presheaf Models for the PI-Calculus [R]. BRICS, Department of Computer Science, University of Aarhus, Denmark, 1997.
4. WISCHIK L. New directions in implementing the PI calculus [EB/OL]. http://www.wischik.com/lu/research/newdirs.html, 2002.
5. LIAO J, TAN H, LIU J D. Describing and verifying Web service using PI-calculus [J]. Chinese Journal of Computers, 2005, 28(4): 635-643.
6. LIAO J, TAN H, LIU J D. Verifying Web services substitution using Pi2calculus [J]. Journal of Huazhong Univ of Sci and Tech (Nature Science Edition), 2005, 33: 168-171.
7. GUO X Q, HAO K G. PI calcula-based model for Web services [J]. Computer Science, 2006, 33(3): 261-262.