Author： Gordon A.D.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.228, Iss.1, 1999-10, pp. : 5-47
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
Bisimilarity as a Theory of Functional Programming
By Gordon A.D.
Electronic Notes in Theoretical Computer Science, Vol. 1, Iss. 1, 2004-01 ,pp. :
Access to resources
Recommend
Bisimilarity for the Region Calculus
By Helsen Simon
LISP and Symbolic Computation, Vol. 17, Iss. 4, 2004-12 ,pp. :
Functional Programming of Behavior-Based Systems
Autonomous Robots, Vol. 9, Iss. 1, 2000-08 ,pp. :