Towards categorical models for fairness: fully abstract presheaf semantics of SCCS with finite delay

By Hildebrandt T.T.  

Theoretical Computer Science, Vol. 294, Iss. 1, 2003-02 ,pp. : 151-181

Elsevier

Access to resources Recommend Favorite

A fully abstract denotational semantics for the -calculus

By Hennessy M.  

Theoretical Computer Science, Vol. 278, Iss. 1, 2002-05 ,pp. : 53-89

Elsevier

Access to resources Recommend Favorite

Parsing as abstract interpretation of grammar semantics

By Cousot P.   Cousot R.  

Theoretical Computer Science, Vol. 290, Iss. 1, 2003-01 ,pp. : 531-544

Elsevier

Access to resources Recommend Favorite

Abstract machine construction through operational semantics refinements

By Cabestre F.   Percebois C.   Bodeveix J.-P.  

Future Generation Computer Systems, Vol. 16, Iss. 7, 2000-05 ,pp. : 753-769

Elsevier

Access to resources Recommend Favorite

Trace-Based Abstract Interpretation of Operational Semantics

By Schmidt D.A.  

LISP and Symbolic Computation, Vol. 10, Iss. 3, 1998-05 ,pp. : 237-271

Springer Publishing Company

Access to resources Recommend Favorite