Eliminating concurrency bugs in multithreaded software: an approach based on control of Petri nets

DOI10.1007/978-3-642-38697-8_2MaRDI QIDQ5300863zbMATH OpenOpenAlexFDO

Authors Stéphane Lafortune, Yin Wang, Spyros 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)

Recommendations

• Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
• Modeling multithreaded applications using Petri nets
• The theory of deadlock avoidance via discrete control
• Model checking of concurrent algorithms: from Java to C
• Publication:3033343

Cited in

(2)

• Modeling multithreaded applications using Petri nets
• Concurrency bugs in multithreaded software: modeling and analysis using Petri nets

Describes a project that uses

Uses Software

• Gadara
• RacerX

This page was built for publication: Eliminating concurrency bugs in multithreaded software: an approach based on control of Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5300863)