PTrie: data structure for compressing and storing sets via prefix sharing
From MaRDI portal
Publication:1675812
DOI10.1007/978-3-319-67729-3_15zbMath1444.68063OpenAlexW2755297013MaRDI QIDQ1675812
Jiří Srba, Peter Gjøl Jensen, Kim Guldstrand Larsen
Publication date: 3 November 2017
Full work available at URL: https://doi.org/10.1007/978-3-319-67729-3_15
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Data structures (68P05)
Related Items
Stubborn versus structural reductions for Petri nets ⋮ Partial order reduction for reachability games ⋮ PTrie ⋮ Automatic synthesis of transiently correct network updates via Petri games
Uses Software