Static Trace-Based Deadlock Analysis for Synchronous Mini-Go Kai Stadtm¨ uller1 , Martin Sulzmann1 , and Peter Thiemann2 1 - Deadlock - Document - PDFSEARCH.IO

First Page	Meta Content
	Static Trace-Based Deadlock Analysis for Synchronous Mini-Go Kai Stadtm¨ uller1 , Martin Sulzmann1 , and Peter Thiemann2 1 Add to Reading List Document Date: 2017-12-12 07:07:41 Open Document File Size: 394,55 KB Share Result on Facebook

Static Trace-Based Deadlock Analysis for Synchronous Mini-Go Kai Stadtm¨ uller1 , Martin Sulzmann1 , and Peter Thiemann2 1Add to Reading List