Characterizing Recursive Programs Up To Bisimilarity Paul Blain Levy University of Birmingham Abstract A recursive program is determined, up to bisimilarity, by the operation of the recursion body on arbitrary processes, - Blain - Document - PDFSEARCH.IO

First Page	Meta Content
	Characterizing Recursive Programs Up To Bisimilarity Paul Blain Levy University of Birmingham Abstract A recursive program is determined, up to bisimilarity, by the operation of the recursion body on arbitrary processes, Add to Reading List Document Date: 2010-08-03 07:44:37 Open Document File Size: 130,96 KB Share Result on Facebook

Characterizing Recursive Programs Up To Bisimilarity Paul Blain Levy University of Birmingham Abstract A recursive program is determined, up to bisimilarity, by the operation of the recursion body on arbitrary processes,Add to Reading List