Author： Power
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.278, Iss.1, 2002-05, pp. : 323-333
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
Fixpoint semantics and simulation
Theoretical Computer Science, Vol. 238, Iss. 1, 2000-05 ,pp. :
Access to resources
Recommend
A generalization of Naundorf's fixpoint theorem
Theoretical Computer Science, Vol. 247, Iss. 1, 2000-09 ,pp. :
A fixpoint approach to finite delay and fairness
By Hartonas C.
Theoretical Computer Science, Vol. 198, Iss. 1, 1998-05 ,pp. :
Fixpoint semantics for logic programming a survey
By Fitting M.
Theoretical Computer Science, Vol. 278, Iss. 1, 2002-05 ,pp. :
An improved algorithm for the evaluation of fixpoint expressions
By Browne A. Clarke E.M. Jha S. Long D.E. Marrero W.
Theoretical Computer Science, Vol. 178, Iss. 1, 1997-05 ,pp. :