Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing: Vancouver, British Columbia, Canada, August 10 - 12, 1987
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
Assoc. for Computing Machinery
1987
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | IV, 293 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV020839407 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 051020s1987 d||| |||| 10||| eng d | ||
| 020 | |z 0897912394 |9 0-89791-239-4 | ||
| 035 | |a (OCoLC)17591611 | ||
| 035 | |a (DE-599)BVBBV020839407 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 050 | 0 | |a QA76.9.D5 | |
| 082 | 0 | |a 004.36 |b Ac64p, 1987 | |
| 082 | 0 | |a 001.64/404 |2 19 | |
| 111 | 2 | |a Symposium on Principles of Distributed Computing |n 6 |d 1987 |c Vancouver, British Columbia |j Verfasser |0 (DE-588)5158474-8 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing |b Vancouver, British Columbia, Canada, August 10 - 12, 1987 |
| 264 | 1 | |a New York, NY |b Assoc. for Computing Machinery |c 1987 | |
| 300 | |a IV, 293 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Traitement réparti - Congrès | |
| 650 | 7 | |a Traitement réparti - Congrès |2 ram | |
| 650 | 7 | |a algorithme réparti |2 inriac | |
| 650 | 7 | |a informatique répartie |2 inriac | |
| 650 | 7 | |a système réparti |2 inriac | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Electronic data processing |x Distributed processing |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014161313&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-014161313 | ||
Datensatz im Suchindex
| _version_ | 1804134546195611648 |
|---|---|
| adam_text | Proceedings of the
Sixth Annual ACM
Symposium on
Principles of Distributed Computing
B
Invent
Standort»
;V CM (KfOSWÄl« }
L SPJ H
Vancouver, British Columbia, Canada
August 10-12, 1987
SPONSORED BY THE ACM
SPECIAL INTEREST GROUP FOR AUTOMATA AND COMPUTABILITY THEORY,
AND SPECIAL INTEREST GROUP FOR OPERATING SYSTEM PRINCIPLES
TABLE OF CONTENTS
Epidemic Algorithms for Replicated Database Maintenance 1
Alan Demers, Dan Greene, Carl Hauser, Wes Irish, John Larson, Scott Shenker,
Howard Sturgis, Dan Swinehart, and Doug Terry (Xerox PARC)
Update Propagation in Bakunin Data Networks 13
Boris Kogan and Hector Garcia-Molina (Princeton)
Quorum Consensus in Nested Transaction Systems 27
Kenneth J Goldman and Nancy A Lynch (MJ T )
Shifting Gears: Changing Algorithms on the Fly to Expedite Byzantine Agreement 42
Amotz Bar-Noy and Danny Dolev (Hebrew University), and Cynthia Dwork
and H Raymond Strong (IBM Almaden Research Center)
Fault-Tolerant Decision Making in Totally Asynchronous Distributed Systems 52
Michael F Bridgland and Ronald J Watro (MITRE Corporation)
Asynchronous Approximate Agreement 64
A D Fekete (Harvard)
An Optimal Synchronizer for the Hypercube 77
David Peleg and Jeffrey D Ullman (Stanford)
On Processor Coordination Using Asynchronous Hardware 86
Benny Chor, Amos Israeli, and Ming Li (Harvard)
On the Time-Complexity of Broadcast in Radio Networks: An Exponential
Gap Between Determinism and Randomization 98
Reuven Bar-Yehuda, Oded Goldreich, and Alon Itai (Technion)
Detecting Global Termination Conditions in the Face of Uncertainty 109
Yehuda Afek (Bell Laboratories) and Michael Saks (Rutgers and
Bell Con munications Research)
Detection of Stable Properties in Distributed Applications 125
Jean-Michel Helary, Claude Jard, Noel Plouzeau, Michel Raynal (IR1SA, France)
Hierarchical Correctness Proofs for Distributed Algorithms 137
Nancy A Lynch and Mark R Tuttle (MJ T )
Modular Verification of Asynchronous Networks 152
Bengt Jonsson (Uppsala University)
Specifying Graceful Degradation in Distributed Systems 167
Maurice P Herlihy and Jeanette M Wing (C M U )
Interleaving Set Temporal Logic 178
Shmuel Katz and Doron Peled (Technion)
Specifying Message Passing Systems Requires Extending Temporal Logic 191
Ron Koymans (Eindhoven University of Technology)
A Hierarchy of Temporal Properties 205
Z Manna (Stanford) and A Pnueli (Weizmann Institute)
The Elusive Atomic Register Revisited 206
Ambuj K Singh, James H Anderson, and Mohamed G Gouda
{University of Texas at Austin)
Constructing Multi-reader Atomic Values from Non-atomic Values 222
James E Burns and Gary L Peterson (Georgia Institute of Technology)
A Protocol for Wait-Free, Atomic, Multi-Reader Shared Variables 232
Richard Newman-Wolfe (University of Florida)
Constructing Two-Writer Atomic Registers 249
Bard Bloom (MJ T )
Achieving Independence in Logarithmic Number of Rounds 260
Benny Chor and Michael 0 Rabin (Harvard)
A Little Knowledge Goes a Long Way: Simple knowledge-based
derivations and correctness proofs for a family of protocols 269
Joseph Y, Halpern (IBM Almaden Research Center) and Lenore D Zuck (Yale)
Substituting for Real Time and Common Knowledge in Asynchronous
Distributed Systems 281
Gil Neiger and Sam Toueg (Cornell)
Avoiding the State Explosion Problem in Temporal Logic Model Checking
Algorithms 294
E M Clarke and 0 Grumberg (C M U )
|
| adam_txt |
Proceedings of the
Sixth Annual ACM
Symposium on
Principles of Distributed Computing
B
Invent
Standort»
;V CM (KfOSWÄl« }
L SPJ H
Vancouver, British Columbia, Canada
August 10-12, 1987
SPONSORED BY THE ACM
SPECIAL INTEREST GROUP FOR AUTOMATA AND COMPUTABILITY THEORY,
AND SPECIAL INTEREST GROUP FOR OPERATING SYSTEM PRINCIPLES
TABLE OF CONTENTS
Epidemic Algorithms for Replicated Database Maintenance 1
Alan Demers, Dan Greene, Carl Hauser, Wes Irish, John Larson, Scott Shenker,
Howard Sturgis, Dan Swinehart, and Doug Terry (Xerox PARC)
Update Propagation in Bakunin Data Networks 13
Boris Kogan and Hector Garcia-Molina (Princeton)
Quorum Consensus in Nested Transaction Systems 27
Kenneth J Goldman and Nancy A Lynch (MJ T )
Shifting Gears: Changing Algorithms on the Fly to Expedite Byzantine Agreement 42
Amotz Bar-Noy and Danny Dolev (Hebrew University), and Cynthia Dwork
and H Raymond Strong (IBM Almaden Research Center)
Fault-Tolerant Decision Making in Totally Asynchronous Distributed Systems 52
Michael F Bridgland and Ronald J Watro (MITRE Corporation)
Asynchronous Approximate Agreement 64
A D Fekete (Harvard)
An Optimal Synchronizer for the Hypercube 77
David Peleg and Jeffrey D Ullman (Stanford)
On Processor Coordination Using Asynchronous Hardware 86
Benny Chor, Amos Israeli, and Ming Li (Harvard)
On the Time-Complexity of Broadcast in Radio Networks: An Exponential
Gap Between Determinism and Randomization 98
Reuven Bar-Yehuda, Oded Goldreich, and Alon Itai (Technion)
Detecting Global Termination Conditions in the Face of Uncertainty 109
Yehuda Afek (Bell Laboratories) and Michael Saks (Rutgers and
Bell Con munications Research)
Detection of Stable Properties in Distributed Applications 125
Jean-Michel Helary, Claude Jard, Noel Plouzeau, Michel Raynal (IR1SA, France)
Hierarchical Correctness Proofs for Distributed Algorithms 137
Nancy A Lynch and Mark R Tuttle (MJ T )
Modular Verification of Asynchronous Networks 152
Bengt Jonsson (Uppsala University)
Specifying Graceful Degradation in Distributed Systems 167
Maurice P Herlihy and Jeanette M Wing (C M U )
Interleaving Set Temporal Logic 178
Shmuel Katz and Doron Peled (Technion)
Specifying Message Passing Systems Requires Extending Temporal Logic 191
Ron Koymans (Eindhoven University of Technology)
A Hierarchy of Temporal Properties 205
Z Manna (Stanford) and A Pnueli (Weizmann Institute)
The Elusive Atomic Register Revisited 206
Ambuj K Singh, James H Anderson, and Mohamed G Gouda
{University of Texas at Austin)
Constructing Multi-reader Atomic Values from Non-atomic Values 222
James E Burns and Gary L Peterson (Georgia Institute of Technology)
A Protocol for Wait-Free, Atomic, Multi-Reader Shared Variables 232
Richard Newman-Wolfe (University of Florida)
Constructing Two-Writer Atomic Registers 249
Bard Bloom (MJ T )
Achieving Independence in Logarithmic Number of Rounds 260
Benny Chor and Michael 0 Rabin (Harvard)
A Little Knowledge Goes a Long Way: Simple knowledge-based
derivations and correctness proofs for a family of protocols 269
Joseph Y, Halpern (IBM Almaden Research Center) and Lenore D Zuck (Yale)
Substituting for Real Time and Common Knowledge in Asynchronous
Distributed Systems 281
Gil Neiger and Sam Toueg (Cornell)
Avoiding the State Explosion Problem in Temporal Logic Model Checking
Algorithms 294
E M Clarke and 0 Grumberg (C M U ) |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author_corporate | Symposium on Principles of Distributed Computing Vancouver, British Columbia |
| author_corporate_role | aut |
| author_facet | Symposium on Principles of Distributed Computing Vancouver, British Columbia |
| author_sort | Symposium on Principles of Distributed Computing Vancouver, British Columbia |
| building | Verbundindex |
| bvnumber | BV020839407 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.D5 |
| callnumber-search | QA76.9.D5 |
| callnumber-sort | QA 276.9 D5 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)17591611 (DE-599)BVBBV020839407 |
| dewey-full | 004.36 001.64/404 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science 001 - Knowledge |
| dewey-raw | 004.36 001.64/404 |
| dewey-search | 004.36 001.64/404 |
| dewey-sort | 14.36 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Allgemeines Informatik |
| discipline_str_mv | Allgemeines Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01658nam a2200397 c 4500</leader><controlfield tag="001">BV020839407</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">051020s1987 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0897912394</subfield><subfield code="9">0-89791-239-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)17591611</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV020839407</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.D5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.36</subfield><subfield code="b">Ac64p, 1987</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">001.64/404</subfield><subfield code="2">19</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Symposium on Principles of Distributed Computing</subfield><subfield code="n">6</subfield><subfield code="d">1987</subfield><subfield code="c">Vancouver, British Columbia</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5158474-8</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing</subfield><subfield code="b">Vancouver, British Columbia, Canada, August 10 - 12, 1987</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Assoc. for Computing Machinery</subfield><subfield code="c">1987</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IV, 293 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Traitement réparti - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Traitement réparti - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">algorithme réparti</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">informatique répartie</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système réparti</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</subfield><subfield code="x">Distributed processing</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014161313&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-014161313</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV020839407 |
| illustrated | Illustrated |
| index_date | 2024-07-02T13:15:59Z |
| indexdate | 2024-07-09T20:26:19Z |
| institution | BVB |
| institution_GND | (DE-588)5158474-8 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014161313 |
| oclc_num | 17591611 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | IV, 293 S. graph. Darst. |
| publishDate | 1987 |
| publishDateSearch | 1987 |
| publishDateSort | 1987 |
| publisher | Assoc. for Computing Machinery |
| record_format | marc |
| spelling | Symposium on Principles of Distributed Computing 6 1987 Vancouver, British Columbia Verfasser (DE-588)5158474-8 aut Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing Vancouver, British Columbia, Canada, August 10 - 12, 1987 New York, NY Assoc. for Computing Machinery 1987 IV, 293 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Traitement réparti - Congrès Traitement réparti - Congrès ram algorithme réparti inriac informatique répartie inriac système réparti inriac Datenverarbeitung Electronic data processing Distributed processing Congresses (DE-588)1071861417 Konferenzschrift gnd-content HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014161313&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing Vancouver, British Columbia, Canada, August 10 - 12, 1987 Traitement réparti - Congrès Traitement réparti - Congrès ram algorithme réparti inriac informatique répartie inriac système réparti inriac Datenverarbeitung Electronic data processing Distributed processing Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing Vancouver, British Columbia, Canada, August 10 - 12, 1987 |
| title_auth | Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing Vancouver, British Columbia, Canada, August 10 - 12, 1987 |
| title_exact_search | Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing Vancouver, British Columbia, Canada, August 10 - 12, 1987 |
| title_exact_search_txtP | Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing Vancouver, British Columbia, Canada, August 10 - 12, 1987 |
| title_full | Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing Vancouver, British Columbia, Canada, August 10 - 12, 1987 |
| title_fullStr | Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing Vancouver, British Columbia, Canada, August 10 - 12, 1987 |
| title_full_unstemmed | Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing Vancouver, British Columbia, Canada, August 10 - 12, 1987 |
| title_short | Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing |
| title_sort | proceedings of the sixth annual acm symposium on principles of distributed computing vancouver british columbia canada august 10 12 1987 |
| title_sub | Vancouver, British Columbia, Canada, August 10 - 12, 1987 |
| topic | Traitement réparti - Congrès Traitement réparti - Congrès ram algorithme réparti inriac informatique répartie inriac système réparti inriac Datenverarbeitung Electronic data processing Distributed processing Congresses |
| topic_facet | Traitement réparti - Congrès algorithme réparti informatique répartie système réparti Datenverarbeitung Electronic data processing Distributed processing Congresses Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014161313&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT symposiumonprinciplesofdistributedcomputingvancouverbritishcolumbia proceedingsofthesixthannualacmsymposiumonprinciplesofdistributedcomputingvancouverbritishcolumbiacanadaaugust10121987 |