A Higher-Order Logic for Concurrent Termination-Preserving Refinement Joseph Tassarotti1 , Ralf Jung2 , and Robert Harper1 1 Carnegie Mellon University, Pittsburgh, USA - Higher - Document - PDFSEARCH.IO

First Page	Meta Content
	A Higher-Order Logic for Concurrent Termination-Preserving Refinement Joseph Tassarotti1 , Ralf Jung2 , and Robert Harper1 1 Carnegie Mellon University, Pittsburgh, USA Add to Reading List Document Date: 2016-10-22 08:05:55 Open Document File Size: 743,09 KB Share Result on Facebook

A Higher-Order Logic for Concurrent Termination-Preserving Refinement Joseph Tassarotti1 , Ralf Jung2 , and Robert Harper1 1 Carnegie Mellon University, Pittsburgh, USAAdd to Reading List