Volume 25; Issue 3

Information Processing Letters

Volume 25; Issue 3
1

Counterexamples to termination for the direct sum of term rewriting systems

Yoshihito Toyama
Journal:
Information Processing Letters
Year:
1987
Language:
english
File:
PDF, 175 KB
english, 1987
2

On the proof of a distributed algorithm

J.Pierre Verjus
Journal:
Information Processing Letters
Year:
1987
Language:
english
File:
PDF, 174 KB
english, 1987
3

A non-hamiltonian, nondegenerate delaunay triangulation

Michael B. Dillencourt
Journal:
Information Processing Letters
Year:
1987
Language:
english
File:
PDF, 193 KB
english, 1987
4

On distributed snapshots

Ten H. Lai, Tao H. Yang
Journal:
Information Processing Letters
Year:
1987
Language:
english
File:
PDF, 503 KB
english, 1987
5

A lower bound on the complexity of the convex hull problem for simple polyhedra

Andrew Klapper
Journal:
Information Processing Letters
Year:
1987
Language:
english
File:
PDF, 181 KB
english, 1987
6

Stopping times of distributed consensus protocols: A probabilistic analysis

Özalp Babaog̃lu
Journal:
Information Processing Letters
Year:
1987
Language:
english
File:
PDF, 558 KB
english, 1987
7

Local authentication in insecure environments

Satoru Kawai
Journal:
Information Processing Letters
Year:
1987
Language:
english
File:
PDF, 254 KB
english, 1987
9

History sensitive string for multiple alphabets

Tae-Choong Chung, Jung-Wan Cho
Journal:
Information Processing Letters
Year:
1987
Language:
english
File:
PDF, 499 KB
english, 1987
10

On the detection of unstructuredness in flowgraphs

T.H. Tse
Journal:
Information Processing Letters
Year:
1987
Language:
english
File:
PDF, 419 KB
english, 1987
11

Transformations for communication fairness in CSP

Dieter Zöbel
Journal:
Information Processing Letters
Year:
1987
Language:
english
File:
PDF, 303 KB
english, 1987
13

Varieties of weakest liberal preconditions

Joseph M. Morris
Journal:
Information Processing Letters
Year:
1987
Language:
english
File:
PDF, 270 KB
english, 1987