Bounded self-stabilizing Petri nets Ludmila CherkasovaRodney R. HowellLouis E. Rosier OriginalPaper Pages: 189 - 207
Reexecution in abstract interpretation of Prolog Baudouin Le CharlierPascal Van Hentenryck OriginalPaper Pages: 209 - 253
Lazy structure sharing for query optimization Adam L. BuchsbaumRajamani SundarRobert E. Tarjan OriginalPaper Pages: 255 - 270
On the complexity of concurrency control using semantic information Vasudha KrishnaswamyJohn Bruno OriginalPaper Pages: 271 - 284