Journal: BIT

Volume 27, Issue 4

442 -- 457Mostafa A. Bassiouni, U. Khamare. Algorithms for Reducing Rollbacks in Concurrency Control by Certification
458 -- 473B. Joe, R. B. Simpson. Corrections to Lee s Visibility Polygon Algorithm
474 -- 479Andrzej Lingas, Christos Levcopoulos, Jörg-Rüdiger Sack. Algorithms for Minimum Length Partitions of Polygons
480 -- 500Rami G. Melhem. Verification of a Class of Self-Timed Computational Networks