Author： Du Xu-Tao
Publisher： Springer Publishing Company
ISSN： 1000-9000
Source： Journal of Computer Science and Technology, Vol.25, Iss.6, 2010-11, pp. : 1168-1183
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
On transformations of concurrent-object programs
Theoretical Computer Science, Vol. 195, Iss. 2, 1998-03 ,pp. :
Access to resources
Recommend
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems, Vol. 12, Iss. 2, 2006-03 ,pp. :
Advanced chopping of sequential and concurrent programs
Software Quality Journal, Vol. 19, Iss. 2, 2011-06 ,pp. :
Chu spaces as a semantic bridge between linear logic and mathematics
By Pratt V.
Theoretical Computer Science, Vol. 294, Iss. 3, 2003-02 ,pp. :