Volume 39; Issue 1

Journal of the ACM

Volume 39; Issue 1
1

Termination, deadlock, and divergence

Aceto, L., Hennessy, M.
Journal:
Journal of the ACM
Year:
1992
Language:
english
File:
PDF, 2.44 MB
english, 1992
2

Institutions: abstract model theory for specification and programming

Goguen, Joseph A., Burstall, Rod M.
Journal:
Journal of the ACM
Year:
1992
Language:
english
File:
PDF, 3.63 MB
english, 1992
3

Syntactical characterization of a subset of domain-independent formulas

Demolombe, Robert
Journal:
Journal of the ACM
Year:
1992
Language:
english
File:
PDF, 1.29 MB
english, 1992
4

An O(log N) deterministic packet-routing scheme

Upfal, Eli
Journal:
Journal of the ACM
Year:
1992
Language:
english
File:
PDF, 907 KB
english, 1992
5

Lower bounds for the low hierarchy

Allender, Eric, Hemachandra, Lane A.
Journal:
Journal of the ACM
Year:
1992
Language:
english
File:
PDF, 1.14 MB
english, 1992
6

Single-class bounds of multi-class queuing networks

Dowdy, Lawrence W., Carlson, Brian M., Krantz, Alan T., Tripathi, Satish K.
Journal:
Journal of the ACM
Year:
1992
Language:
english
File:
PDF, 1.39 MB
english, 1992
7

How to sign given any trapdoor permutation

Bellare, Mihir, Micali, Silvio
Journal:
Journal of the ACM
Year:
1992
Language:
english
File:
PDF, 1.32 MB
english, 1992
8

An optimal algorithm for intersecting line segments in the plane

Chazelle, Bernard, Edelsbrunner, Herbert
Journal:
Journal of the ACM
Year:
1992
Language:
english
File:
PDF, 3.67 MB
english, 1992