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

First Page		Document Content
Date: 2017-12-12 07:07:41		Static Trace-Based Deadlock Analysis for Synchronous Mini-Go Kai Stadtm¨ uller1 , Martin Sulzmann1 , and Peter Thiemann2 1 Add to Reading List Source URL: www.home.hs-karlsruhe.de Download Document from Source Website File Size: 394,55 KB Share Document on Facebook