12 search results - page 3 / 3 » Automatic Mutual Exclusion and Atomicity Checks |
FAC
2008
13 years 5 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
VMCAI
2009
Springer
14 years 11 days ago
2009
Springer
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...