↓ Skip to main content
What is this page? Embed badge

Taming the Infinities of Concurrency

Overview of attention for book
Cover of 'Taming the Infinities of Concurrency'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Fairness and Liveness Under Weak Consistency
  3. Altmetric Badge
    Chapter 2 Restricted Flow Games
  4. Altmetric Badge
    Chapter 3 SynthLearn : A Tool for Guided Reactive Synthesis
  5. Altmetric Badge
    Chapter 4 On Regular Expression Proof Complexity of Salomaa’s Axiom System $$F_1$$ F 1
  6. Altmetric Badge
    Chapter 5 Hidden Markov Models with Unobservable Transitions
  7. Altmetric Badge
    Chapter 6 Coverability in Well-Formed Free-Choice Petri Nets
  8. Altmetric Badge
    Chapter 7 On Verifying Concurrent Programs Under Weak Consistency Models: Decidability and Complexity
  9. Altmetric Badge
    Chapter 8 A Summary and Personal Perspective on Recent Advances in Privacy Risk Assessment in Digital Pathology Through Formal Methods
  10. Altmetric Badge
    Chapter 9 A Uniform Framework for Language Inclusion Problems
  11. Altmetric Badge
    Chapter 10 On the Home-Space Problem for Petri Nets
  12. Altmetric Badge
    Chapter 11 Newton’s Method – There and Back Again
  13. Altmetric Badge
    Chapter 12 Template-Based Verification of Array-Manipulating Programs
  14. Altmetric Badge
    Chapter 13 Memoryless Strategies in Stochastic Reachability Games
  15. Altmetric Badge
    Chapter 14 Region Quadtrees Verified
  16. Altmetric Badge
    Chapter 15 Computing $$\textit{pre}^{*}$$ pre ∗ for General Context Free Grammars
  17. Altmetric Badge
    Chapter 16 2-Pointer Logic
Attention for Chapter 14: Region Quadtrees Verified
Altmetric Badge
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Region Quadtrees Verified
Chapter number 14
Book title
Taming the Infinities of Concurrency
Published by
Springer, Cham, January 2024
DOI 10.1007/978-3-031-56222-8_14
Book ISBNs
978-3-03-156221-1, 978-3-03-156222-8
Authors

Nipkow, Tobias

View on publisher site

This page is provided by Altmetric.