![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.177, Iss.1, 1997-04, pp. : 139-153
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
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
A fully abstract denotational semantics for the -calculus
By Hennessy M.
Theoretical Computer Science, Vol. 278, Iss. 1, 2002-05 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Parsing as abstract interpretation of grammar semantics
Theoretical Computer Science, Vol. 290, Iss. 1, 2003-01 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Trace-Based Abstract Interpretation of Operational Semantics
By Schmidt D.A.
LISP and Symbolic Computation, Vol. 10, Iss. 3, 1998-05 ,pp. :