{"@context": "https://schema.org", "@type": "BreadcrumbList", "itemListElement": [{"@type": "ListItem", "position": 1, "name": "Home", "item": "https://www.patentleaderboard.com/"}, {"@type": "ListItem", "position": 2, "name": "Programming model to detect deadlocks in concurrent programs", "item": "https://www.patentleaderboard.com/patent/7703077"}]}

Home › Programming model to detect deadlocks in concurrent programs

Programming model to detect deadlocks in concurrent programs

US Patent 7703077 · Granted Apr 20, 2010

Estimated economic value: $23,763,000 ⓘ

Assignee

Microsoft

Inventors

Jakob Rehof (11 patents)
James R. Larus (43 patents)
Sriram K. Rajamani (29 patents)

View full patent text on Google Patents →