Author： Mycka J.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.302, Iss.1, 2003-06, pp. : 123-133
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
Two-parameter heavy-traffic limits for infinite-server queues
Queueing Systems, Vol. 65, Iss. 4, 2010-08 ,pp. :
Access to resources
Recommend
Full abstraction and recursion
Theoretical Computer Science, Vol. 151, Iss. 1, 1995-11 ,pp. :
Axioms for Recursion in Call-by-Value
By Hasegawa M.
LISP and Symbolic Computation, Vol. 15, Iss. 2-3, 2002-09 ,pp. :
The tree equivalence of linear recursion schemes
By Sabelfeld V.
Theoretical Computer Science, Vol. 238, Iss. 1, 2000-05 ,pp. :