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

Author： Yang Ping   Ramakrishnan C.R.   Smolka Scott A.  

Publisher： Springer Publishing Company

ISSN： 1433-2779

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

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

Related content

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

By  

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

IGI Global_journal

Access to resources Recommend Favorite

Model checking the full modal mu-calculus for infinite sequential processes

By Burkart O.   Steffen B.  

Theoretical Computer Science, Vol. 221, Iss. 1, 1999-06 ,pp. : 251-270

Elsevier

Access to resources Recommend Favorite

Simulating the cellular passive transport of glucose using a time-dependent extension of Gillespie algorithm for stochastic π-calculus

By Lecca Paola  

International Journal of Data Mining and Bioinformatics, Vol. 1, Iss. 4, 2007-04 ,pp. : 315-336

Inderscience Publishers

Access to resources Recommend Favorite

On model checking for the -calculus and its fragments

By Emerson  

Theoretical Computer Science, Vol. 258, Iss. 1, 2001-05 ,pp. : 491-522

Elsevier

Access to resources Recommend Favorite

Checking JML specifications using an extensible software model checking framework

By   Rodríguez Edwin   Dwyer Matthew   Hatcliff John  

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 3, 2006-06 ,pp. : 280-299

Springer Publishing Company

Access to resources Recommend Favorite