Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets

DOI10.1007/978-3-642-38697-8_2zbMath1381.68209OpenAlexW111437419MaRDI QIDQ5300863

Stéphane Lafortune, Yin Wang, Spyros A. Reveliotis

Publication date: 28 June 2013

Published in: Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38697-8_2

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• Gadara
• RacerX

This page was built for publication: Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets