Similar Items: Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads
- Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
- A Model of Cooperative Threads
- Thread: Circuits
- Sculptures in Concurrency
- Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
- Software Model Checking with Explicit Scheduler and Symbolic Threads