Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing: Toronto, Ontario, Canada, August 15 - 17, 1988
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
New York, NY
ACM
1988
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | VI, 303 S. |
| ISBN: | 0897912772 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV005164479 | ||
| 003 | DE-604 | ||
| 005 | 20150202 | ||
| 007 | t| | ||
| 008 | 920527s1988 xx |||| 10||| eng d | ||
| 020 | |a 0897912772 |9 0-89791-277-2 | ||
| 035 | |a (OCoLC)635926499 | ||
| 035 | |a (DE-599)BVBBV005164479 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-739 |a DE-91G |a DE-188 | ||
| 050 | 0 | |a QA76.9.D5 | |
| 082 | 0 | |a 004.36 |b Ac64p, 1988 | |
| 084 | |a SD 1988 |0 (DE-625)142722: |2 rvk | ||
| 084 | |a ST 200 |0 (DE-625)143611: |2 rvk | ||
| 084 | |a DAT 250f |2 stub | ||
| 111 | 2 | |a Symposium on Principles of Distributed Computing |n 7 |d 1988 |c Toronto |j Verfasser |0 (DE-588)5050664-X |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing |b Toronto, Ontario, Canada, August 15 - 17, 1988 |
| 264 | 1 | |a New York, NY |b ACM |c 1988 | |
| 300 | |a VI, 303 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Traitement réparti - Congrès | |
| 650 | 7 | |a algorithme réparti |2 inriac | |
| 650 | 7 | |a informatique répartie |2 inriac | |
| 650 | 7 | |a système concurrent |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 | |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1988 |z Toronto |2 gnd-content | |
| 689 | 0 | 0 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 710 | 2 | |a Association for Computing Machinery |e Sonstige |0 (DE-588)1222-1 |4 oth | |
| 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=003187526&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-003187526 | |
Record in the Search Index
| _version_ | 1828141238338977792 |
|---|---|
| adam_text |
i
Fachbereichsbibliothek Informatik
TU Darm stadt
Technische Hochschule Darmstadt
FACHBEREICH INFORMATIK
BIBLIOTHEK
Inventar,
Sachgebiete
Standort:
Proceedings of the
Seventh Annual ACM
Symposium on
Principles of Distributed Computing
Toronto, Ontario, Canada
August 15-17, 1988
Sponsored by the ACM
Special Interest Group for Automata and Computability Theory, and
Special Interest Group for Operating System Principles
TABLE OF CONTENTS
The Cost of Messages 1
Jim Gray (Tandem)
Viewstamped Replication: A General Primär}’ Copy
Method to Support Highly-Available Distributed Systems 8
Brian M Oki and Barbara H Liskov ( MIT)
Fault Tolerant Distributed Services 18
Allan D Griefer and H Raymond Strong (IBM ARC)
A Lattice-Structured Proof of a Minimum Spanning
Tree Algorithm 28
Jennifer L Welch ( MIT), Leslie Lamport ( DEC) and
Nancy Lynch (MIT)
Understanding and Verifying Distributed Algorithms Using Stratified
Decomposition 44
Ching-Tsun Chou and Eli Gafni ( UCLA)
One Bit Algorithms 66
Amotz Bar-Noy (Stanford), Joseph Naor ( USC) and Moni Naor ( Berkeley)
New Models and Algorithms for Future Networks 75
Israel Cidon, Inder Gopal and Shay Kutten (IBM T J Watson Research Center)
The Power of Multimedia: Combining Point-to-Point and Multi-access
Networks 90
Yehuda Afek (AT amp;T), Gad M Landau (Courant), Baruch Schieber (IBM
TJ Watson Research Center) and Moti Yung (IBM ARC)
Improved Algorithms for Distributed Resource Allocation 105
Eugene Styer and Gary L Peterson ( Georgia Tech )
Computing on an Anonymous Network 117
Masafumi Yaxnashita (Hiroshima, Japan) and
Tiko Kameda (Simon Fraser U , Canada)
End-to-End Communication in Unreliable Networks 131
Eli Gafni ( UCLA) and Yehuda Afek (AT amp;T)
Data Link Layer: Two Impossibility Results 149
Nancy A Lynch, Yishay Mansour and Alan Fekete (MIT)
v
Recovery in Distributed Systems Using Asynchronous Message Logging and
Checkpointing 171
David B Johnson and Willy Zwaenepoel ( Rice)
Secure and Verifiable Schemes for Election and General Distributed
Computing Problems : 182
Ming-Deh A Huang and Shang-Hua Teng ( USC)
Concurrent Common Knowledge: A New Definition of Agreement for
Asynchronous Systems 197
Prakash Panangaden and Kim Taylor ( Cornell)
Detecting Stable Properties of Networks in Concurrent Logic Programming
Languages 210
Vijay A Saraswat, Kenneth Kahn (Xerox PARC), Ehud Shapiro and
David Weinbaum (Weizmann, Israel)
The Global Time Assumption and Semantics for
Concurrent Systems 223
Shai Ben-David (Technion, Israel)
Process Semantics: Universal Axioms Compositional Rules, and
Applications 232
Van Vicious Nguyen and Rob Strom (IBM T J Watson Research Center)
Automatically Increasing the Fault-Tolerance of
Distributed Systems 248
Gil Neiger and Sam Toueg ( Cornell)
A Combinatorial Characterization of the Distributed Tasks Which are
Solvable in the Presence of one Faulty Processor 263
Ofer Biran, Shlomo Moran and Shmuel Zaks (Technion, Israel)
Impossibility and Universality Results for Wait-Free
Synchronization 276
Maurice P Herlihy (CMU)
On achieving Consensus Using a Shared Memory 291
Karl Abrahamson(Washington State U , Pullman)
Author Index 303 |
| any_adam_object | 1 |
| author_corporate | Symposium on Principles of Distributed Computing Toronto |
| author_corporate_role | aut |
| author_facet | Symposium on Principles of Distributed Computing Toronto |
| author_sort | Symposium on Principles of Distributed Computing Toronto |
| building | Verbundindex |
| bvnumber | BV005164479 |
| 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 |
| classification_rvk | SD 1988 ST 200 |
| classification_tum | DAT 250f |
| ctrlnum | (OCoLC)635926499 (DE-599)BVBBV005164479 |
| dewey-full | 004.36 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.36 |
| dewey-search | 004.36 |
| dewey-sort | 14.36 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV005164479</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150202</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">920527s1988 xx |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0897912772</subfield><subfield code="9">0-89791-277-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)635926499</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005164479</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-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-188</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, 1988</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1988</subfield><subfield code="0">(DE-625)142722:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 200</subfield><subfield code="0">(DE-625)143611:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 250f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Symposium on Principles of Distributed Computing</subfield><subfield code="n">7</subfield><subfield code="d">1988</subfield><subfield code="c">Toronto</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5050664-X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing</subfield><subfield code="b">Toronto, Ontario, Canada, August 15 - 17, 1988</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">ACM</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 303 S.</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="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">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 concurrent</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="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1988</subfield><subfield code="z">Toronto</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Association for Computing Machinery</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1222-1</subfield><subfield code="4">oth</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=003187526&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003187526</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1988 Toronto gnd-content |
| genre_facet | Konferenzschrift 1988 Toronto |
| id | DE-604.BV005164479 |
| illustrated | Not Illustrated |
| indexdate | 2025-03-31T20:02:25Z |
| institution | BVB |
| institution_GND | (DE-588)5050664-X (DE-588)1222-1 |
| isbn | 0897912772 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003187526 |
| oclc_num | 635926499 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-739 DE-91G DE-BY-TUM DE-188 |
| owner_facet | DE-473 DE-BY-UBG DE-739 DE-91G DE-BY-TUM DE-188 |
| physical | VI, 303 S. |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| publisher | ACM |
| record_format | marc |
| spelling | Symposium on Principles of Distributed Computing 7 1988 Toronto Verfasser (DE-588)5050664-X aut Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing Toronto, Ontario, Canada, August 15 - 17, 1988 New York, NY ACM 1988 VI, 303 S. txt rdacontent n rdamedia nc rdacarrier Literaturangaben Traitement réparti - Congrès algorithme réparti inriac informatique répartie inriac système concurrent inriac système réparti inriac Datenverarbeitung Electronic data processing Distributed processing Congresses Verteiltes System (DE-588)4238872-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1988 Toronto gnd-content Verteiltes System (DE-588)4238872-7 s DE-604 Association for Computing Machinery Sonstige (DE-588)1222-1 oth HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003187526&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing Toronto, Ontario, Canada, August 15 - 17, 1988 Traitement réparti - Congrès algorithme réparti inriac informatique répartie inriac système concurrent inriac système réparti inriac Datenverarbeitung Electronic data processing Distributed processing Congresses Verteiltes System (DE-588)4238872-7 gnd |
| subject_GND | (DE-588)4238872-7 (DE-588)1071861417 |
| title | Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing Toronto, Ontario, Canada, August 15 - 17, 1988 |
| title_auth | Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing Toronto, Ontario, Canada, August 15 - 17, 1988 |
| title_exact_search | Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing Toronto, Ontario, Canada, August 15 - 17, 1988 |
| title_full | Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing Toronto, Ontario, Canada, August 15 - 17, 1988 |
| title_fullStr | Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing Toronto, Ontario, Canada, August 15 - 17, 1988 |
| title_full_unstemmed | Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing Toronto, Ontario, Canada, August 15 - 17, 1988 |
| title_short | Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing |
| title_sort | proceedings of the seventh annual acm symposium on principles of distributed computing toronto ontario canada august 15 17 1988 |
| title_sub | Toronto, Ontario, Canada, August 15 - 17, 1988 |
| topic | Traitement réparti - Congrès algorithme réparti inriac informatique répartie inriac système concurrent inriac système réparti inriac Datenverarbeitung Electronic data processing Distributed processing Congresses Verteiltes System (DE-588)4238872-7 gnd |
| topic_facet | Traitement réparti - Congrès algorithme réparti informatique répartie système concurrent système réparti Datenverarbeitung Electronic data processing Distributed processing Congresses Verteiltes System Konferenzschrift 1988 Toronto |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003187526&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT symposiumonprinciplesofdistributedcomputingtoronto proceedingsoftheseventhannualacmsymposiumonprinciplesofdistributedcomputingtorontoontariocanadaaugust15171988 AT associationforcomputingmachinery proceedingsoftheseventhannualacmsymposiumonprinciplesofdistributedcomputingtorontoontariocanadaaugust15171988 |