Mapping Mobile Statechart Diagrams to the π-Calculus using Graph Transformation: An Approach for Modeling, Simulation and Verification of Mobile Agent-based Software Systems

Publisher： IGI Global_journal

E-ISSN： 1548-3665|12|4|1-20

ISSN： 1548-3657

Source： International Journal of Intelligent Information Technologies (IJIIT), Vol.12, Iss.4, 2016-10, pp. : 1-20

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A logical encoding of the π-calculus: model checking mobile processes using tabled resolution

By Yang Ping   Ramakrishnan C.R.   Smolka Scott A.  

International Journal on Software Tools for Technology Transfer, Vol. 6, Iss. 1, 2004-07 ,pp. : 38-66

Springer Publishing Company

Access to resources Recommend Favorite

Security Modeling of Mobile Agent Systems

By Tsai Jeffrey J.P.   Ma Lu  

Journal of Ubiquitous Computing and Intelligence, Vol. 1, Iss. 1, 2007-04 ,pp. : 73-85

American Scientific Publishers

Access to resources Recommend Favorite

A model checking-based approach for security policy verification of mobile systems

By Braghin Chiara  

Formal Aspects of Computing, Vol. 23, Iss. 5, 2011-09 ,pp. : 627-648

Springer Publishing Company

Access to resources Recommend Favorite

Analyzing Marketing Strategies in the Emerging Mobile Communications Market: An Agent-Based Approach

By  

International Journal of Knowledge and Systems Science (IJKSS), Vol. 7, Iss. 4, 2016-10 ,pp. : 40-59

IGI Global_journal

Access to resources Recommend Favorite

Stochastic analysis of mobile agent-based e-shopping

By Qu Wenyu   Shen Hong   Sum John  

International Journal of Electronic Business, Vol. 3, Iss. 3-4, 2005-06 ,pp. : 339-355

Inderscience Publishers

Access to resources Recommend Favorite