Author： Philippou A. Walker D.
Publisher： Academic Press
ISSN： 0022-0000
Source： Journal of Computer and System Sciences, Vol.62, Iss.1, 2001-02, pp. : 73-122
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
Scalable Concurrent B-Trees Using Multi-Version Memory
Journal of Parallel and Distributed Computing, Vol. 32, Iss. 1, 1996-01 ,pp. :
Access to resources
Recommend
A Concurrent Object Calculus - Reduction and Typing
Electronic Notes in Theoretical Computer Science, Vol. 16, Iss. 3, 2004-01 ,pp. :
A confluent calculus for concurrent constraint programming
Theoretical Computer Science, Vol. 173, Iss. 1, 1997-02 ,pp. :
On the decidability of process equivalences for the -calculus
By Dam M.
Theoretical Computer Science, Vol. 183, Iss. 2, 1997-09 ,pp. :
Infinitary lambda calculus and discrimination of Berarducci trees
By Dezani-Ciancaglini M. Severi P. de Vries F-J.
Theoretical Computer Science, Vol. 298, Iss. 2, 2003-04 ,pp. :