Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 19

Record: found
Abstract: not found
Book: not found

Feedback Control of Computing Systems

Joseph Hellerstein, Yixin Diao, Sujay S. Parekh … (2004)

0 comments Cited 48 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Deadlock analysis of Petri nets using siphons and mathematical programming

Feng Chu, Xiao-Lan Xie (1997)

0 comments Cited 39 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Feedback control of petri nets based on place invariants

Katerina Yamalidou, John Moody, Michael Lemmon … (1996)

0 comments Cited 33 times – based on 0 reviews      Review now

Bookmark

All references

Author and article information

Journal

Title: IEEE Transactions on Control Systems Technology

Abbreviated Title: IEEE Trans. Contr. Syst. Technol.

Publisher: Institute of Electrical and Electronics Engineers (IEEE)

ISSN (Print): 1063-6536

ISSN (Electronic): 1558-0865

Publication date Created: November 2013

Publication date (Print): November 2013

Volume: 21

Issue: 6

Pages: 2067-2082

Article

DOI: 10.1109/TCST.2012.2226034

SO-VID: d82535d8-9b96-4e3a-ab17-8cbe56e17d77

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.