@unpublished{behrHyperdoctrinalConcurrencyTheorem2026a,
 author = {Behr, Nicolas and Hirschowitz, Tom and Lafont, Ambroise and Moreau, Vincent},
 month = {July},
 title = {A Hyperdoctrinal Concurrency Theorem for Conditional Double-Pushout Rewriting},
 urldate = {2026-10-27},
 year = {2026}
}