Author: Hall Robert
Publisher: Springer Publishing Company
ISSN: 0928-8910
Source: Automated Software Engineering, Vol.12, Iss.4, 2005-10, pp. : 415-446
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
Confinement Properties for Multi-Threaded Programs
Electronic Notes in Theoretical Computer Science, Vol. 20, Iss. 1, 2004-01 ,pp. :
Strategy Compliant Multi-Threaded Term Completion
By Bundgen R. Gobel M. Kuchlin W.
Journal of Symbolic Computation, Vol. 21, Iss. 4, 1996-04 ,pp. :