The Complexity of Bounded Context Switching with Dynamic Thread Creation

Baumann, Pascal; Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg

doi:10.4230/LIPIcs.ICALP.2020.111

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

The Complexity of Bounded Context Switching with Dynamic Thread Creation

MPS-Authors

/persons/resource/persons144534

Majumdar, Rupak
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons230970

Zetzsche, Georg
Group G. Zetzsche, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

https://drops.dagstuhl.de/opus/volltexte/2020/12518
(Publisher version)

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

LIPIcs-ICALP-2020-111.pdf
(Publisher version), 651KB

Supplementary Material (public)

There is no public supplementary material available

Citation

Baumann, P., Majumdar, R., Thinniyam, R. S., & Zetzsche, G. (2020). The Complexity of Bounded Context Switching with Dynamic Thread Creation. In A. Czumaj, A. Dawar, & E. Merelli (Eds.), 47th International Colloquium on Automata, Languages, and Programming (pp. 1-16). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.ICALP.2020.111.

Cite as: https://hdl.handle.net/21.11116/0000-0008-6A9C-2

Abstract

There is no abstract available