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

A multiset semantics for the pi-calculus with replication

By Engelfriet J.  

Theoretical Computer Science, Vol. 153, Iss. 1, 1996-01 ,pp. : 65-94

Elsevier

Access to resources Recommend Favorite

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. : 275-302

Elsevier

Access to resources Recommend Favorite

A Process-Calculus Analysis of Concurrent Operations on B-Trees

By Philippou A.   Walker D.  

Journal of Computer and System Sciences, Vol. 62, Iss. 1, 2001-02 ,pp. : 73-122

Academic Press

Access to resources Recommend Favorite

Bisimulation in Untyped Lambda Calculus - Bohm Trees and Bisimulation up to Context

By Lassen S.B.  

Electronic Notes in Theoretical Computer Science, Vol. 20, Iss. 1, 2004-01 ,pp. : 1-29

Elsevier

Access to resources Recommend Favorite