PENELOPE

MaRDI QIDQ34851swMATHFDO

Official website https://dl.acm.org/citation.cfm?id=1882300

Cited in

(5)

• QuickLex: a fast algorithm for consistent global states enumeration of distributed computations
• ASM
• CTrigger
• jPredictor
• QuickLex

This page was built for software: PENELOPE