Skip to content

Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl).

Gerlof Bouma

Year2012
ProceedingsFLOPS

Browse the full FLOPS paper archive.