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,

First Page		Document Content
Date: 2010-08-03 07:44:37		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 Source URL: www.cs.bham.ac.uk Download Document from Source Website File Size: 130,96 KB Share Document on Facebook