Proceedings of the second annual ACM symposium on Principles of distributed computing - PODC '83
Latest Publications

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

16

(FIVE YEARS 0)

Published By ACM Press

0897911105

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Scheduling file transfers in a distributed network

Proceedings of the second annual ACM symposium on Principles of distributed computing - PODC '83 ◽

10.1145/800221.806726 ◽

1983 ◽

Author(s):

E. G. Coffman ◽

M. R. Garey ◽

D. S. Johnson ◽

A. S. LaPaugh

Keyword(s):

Distributed Network ◽

Download Full-text

A formal description of the UNIX operating system

Proceedings of the second annual ACM symposium on Principles of distributed computing - PODC '83 ◽

10.1145/800221.806725 ◽

1983 ◽

Author(s):

Thomas W. Doeppner ◽

Alessandro Glacalone

Keyword(s):

Operating System ◽

Formal Description ◽

Unix Operating System

Download Full-text

Method for distributed transaction commit and recovery using Byzantine Agreement within clusters of processors

Proceedings of the second annual ACM symposium on Principles of distributed computing - PODC '83 ◽

10.1145/800221.806712 ◽

1983 ◽

Author(s):

C. Mohan ◽

R. Strong ◽

S. Finkelstein

Keyword(s):

Byzantine Agreement ◽

Distributed Transaction ◽

Transaction Commit

Download Full-text

Detecting termination of distributed computations using markers

Proceedings of the second annual ACM symposium on Principles of distributed computing - PODC '83 ◽

10.1145/800221.806729 ◽

1983 ◽

Author(s):

Jayadev Misra

Keyword(s):

Distributed Computations

Download Full-text

Distributed task and memory management

Proceedings of the second annual ACM symposium on Principles of distributed computing - PODC '83 ◽

10.1145/800221.806728 ◽

1983 ◽

Author(s):

Paul Hudak

Keyword(s):

Memory Management

Download Full-text

Another advantage of free choice (Extended Abstract)

Proceedings of the second annual ACM symposium on Principles of distributed computing - PODC '83 ◽

10.1145/800221.806707 ◽

1983 ◽

Author(s):

Michael Ben-Or

Keyword(s):

Download Full-text

An interval logic for higher-level temporal reasoning

Proceedings of the second annual ACM symposium on Principles of distributed computing - PODC '83 ◽

10.1145/800221.806720 ◽

1983 ◽

Author(s):

Richard L. Schwartz ◽

P. M. Melliar-Smith ◽

Friedrich H. Vogt

Keyword(s):

Temporal Reasoning ◽

Download Full-text

A concurrency control theory for nested transactions (Preliminary Report)

Proceedings of the second annual ACM symposium on Principles of distributed computing - PODC '83 ◽

10.1145/800221.806709 ◽

1983 ◽

Author(s):

C. Beeri ◽

P. A. Bernstein ◽

N. Goodman ◽

M. Y. Lai ◽

D. E. Shasha

Keyword(s):

Control Theory ◽

Concurrency Control ◽

Preliminary Report ◽

Nested Transactions

Download Full-text

Freedom from deadlock of locked transactions in a distributed database

Proceedings of the second annual ACM symposium on Principles of distributed computing - PODC '83 ◽

10.1145/800221.806727 ◽

1983 ◽

Author(s):

Henry Tirri

Keyword(s):

Distributed Database

Download Full-text

Decentralization of process nets with centralized control

Proceedings of the second annual ACM symposium on Principles of distributed computing - PODC '83 ◽

10.1145/800221.806716 ◽

1983 ◽

Author(s):

R. J. R. Back ◽

R. Kurki-Suonio

Keyword(s):

Centralized Control

Download Full-text