Related content

Encoding Distributed Areas and Local Communication into the -Calculus

By Chothia T.   Stark I.  

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

Elsevier

Access to resources Recommend Favorite

Service Intelligence and Communication Security for Ambient Assisted Living

By  

International Journal of Embedded and Real-Time Communication Systems (IJERTCS), Vol. 6, Iss. 1, 2015-01 ,pp. : 76-100

IGI Global_journal

Access to resources Recommend Favorite

Games for the -calculus

By Niwinski D.   Walukiewicz I.  

Theoretical Computer Science, Vol. 163, Iss. 1, 1996-08 ,pp. : 99-116

Elsevier

Access to resources Recommend Favorite

On the decidability of fragments of the asynchronous -calculus

By Amadio R.M.   Meyssonnier C.  

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

Elsevier

Access to resources Recommend Favorite

Polymorphic lambda calculus and subtyping

By Fiech  

Theoretical Computer Science, Vol. 278, Iss. 1, 2002-05 ,pp. : 111-140

Elsevier

Access to resources Recommend Favorite