PTrie: data structure for compressing and storing sets via prefix sharing

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

Mathematics Subject Classification ID

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

• TAPAAL
• LoLA