Examples and Proofs for the paper ¯ µ-calculus Functions as processes: termination and the λµ ˜ 1 - Cimini - Document - PDFSEARCH.IO

First Page	Meta Content
	Examples and Proofs for the paper ¯ µ-calculus Functions as processes: termination and the λµ ˜ 1 Add to Reading List Document Date: 2012-03-09 11:06:02 Open Document File Size: 119,22 KB Share Result on Facebook

Examples and Proofs for the paper ¯ µ-calculus Functions as processes: termination and the λµ ˜ 1Add to Reading List