Concepts and notations for concurrent programming:
Much has been learned in the last decade about concurrent programming. This paper identifies the major concepts and describes some of the more important language notations for writing concurrent programs. The roles of processes, communication and syhchronization are discussed from both an operationa...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Ithaca, New York
1982
|
| Schriftenreihe: | Cornell University <Ithaca, NY> / Department of Computer Science: Technical report
520 |
| Schlagworte: | |
| Zusammenfassung: | Much has been learned in the last decade about concurrent programming. This paper identifies the major concepts and describes some of the more important language notations for writing concurrent programs. The roles of processes, communication and syhchronization are discussed from both an operational and an axiomatic viewpoint. Language notations for expressing concurrent execution and for specifying process interaction are surveyed. Synchronization primitives based on shared variables and on message passing are described. Finally, three general classes of concurrent programming languages are identified and compared. |
| Beschreibung: | 67 Sp. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010583737 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 960124s1982 |||| 00||| engod | ||
| 035 | |a (OCoLC)10713692 | ||
| 035 | |a (DE-599)BVBBV010583737 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 005.1028 |b A566c |2 19 | |
| 100 | 1 | |a Andrews, Gregory R. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Concepts and notations for concurrent programming |c Gregory R. Andrews ; Fred B. Schneider |
| 264 | 1 | |a Ithaca, New York |c 1982 | |
| 300 | |a 67 Sp. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Cornell University <Ithaca, NY> / Department of Computer Science: Technical report |v 520 | |
| 520 | 3 | |a Much has been learned in the last decade about concurrent programming. This paper identifies the major concepts and describes some of the more important language notations for writing concurrent programs. The roles of processes, communication and syhchronization are discussed from both an operational and an axiomatic viewpoint. Language notations for expressing concurrent execution and for specifying process interaction are surveyed. Synchronization primitives based on shared variables and on message passing are described. Finally, three general classes of concurrent programming languages are identified and compared. | |
| 650 | 4 | |a Computer programming | |
| 700 | 1 | |a Schneider, Fred B. |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Computer Science: Technical report |t Cornell University <Ithaca, NY> |v 520 |w (DE-604)BV006185504 |9 520 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007056447 | ||
Datensatz im Suchindex
| _version_ | 1804125053211639808 |
|---|---|
| any_adam_object | |
| author | Andrews, Gregory R. Schneider, Fred B. |
| author_facet | Andrews, Gregory R. Schneider, Fred B. |
| author_role | aut aut |
| author_sort | Andrews, Gregory R. |
| author_variant | g r a gr gra f b s fb fbs |
| building | Verbundindex |
| bvnumber | BV010583737 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.6 |
| callnumber-search | QA76.6 |
| callnumber-sort | QA 276.6 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)10713692 (DE-599)BVBBV010583737 |
| dewey-full | 005.1028 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1028 |
| dewey-search | 005.1028 |
| dewey-sort | 15.1028 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01700nam a2200325 cb4500</leader><controlfield tag="001">BV010583737</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960124s1982 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)10713692</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010583737</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1028</subfield><subfield code="b">A566c</subfield><subfield code="2">19</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Andrews, Gregory R.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Concepts and notations for concurrent programming</subfield><subfield code="c">Gregory R. Andrews ; Fred B. Schneider</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Ithaca, New York</subfield><subfield code="c">1982</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">67 Sp.</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="490" ind1="1" ind2=" "><subfield code="a">Cornell University <Ithaca, NY> / Department of Computer Science: Technical report</subfield><subfield code="v">520</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Much has been learned in the last decade about concurrent programming. This paper identifies the major concepts and describes some of the more important language notations for writing concurrent programs. The roles of processes, communication and syhchronization are discussed from both an operational and an axiomatic viewpoint. Language notations for expressing concurrent execution and for specifying process interaction are surveyed. Synchronization primitives based on shared variables and on message passing are described. Finally, three general classes of concurrent programming languages are identified and compared.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schneider, Fred B.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Technical report</subfield><subfield code="t">Cornell University <Ithaca, NY></subfield><subfield code="v">520</subfield><subfield code="w">(DE-604)BV006185504</subfield><subfield code="9">520</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007056447</subfield></datafield></record></collection> |
| id | DE-604.BV010583737 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:55:26Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007056447 |
| oclc_num | 10713692 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 67 Sp. |
| publishDate | 1982 |
| publishDateSearch | 1982 |
| publishDateSort | 1982 |
| record_format | marc |
| series2 | Cornell University <Ithaca, NY> / Department of Computer Science: Technical report |
| spelling | Andrews, Gregory R. Verfasser aut Concepts and notations for concurrent programming Gregory R. Andrews ; Fred B. Schneider Ithaca, New York 1982 67 Sp. txt rdacontent n rdamedia nc rdacarrier Cornell University <Ithaca, NY> / Department of Computer Science: Technical report 520 Much has been learned in the last decade about concurrent programming. This paper identifies the major concepts and describes some of the more important language notations for writing concurrent programs. The roles of processes, communication and syhchronization are discussed from both an operational and an axiomatic viewpoint. Language notations for expressing concurrent execution and for specifying process interaction are surveyed. Synchronization primitives based on shared variables and on message passing are described. Finally, three general classes of concurrent programming languages are identified and compared. Computer programming Schneider, Fred B. Verfasser aut Department of Computer Science: Technical report Cornell University <Ithaca, NY> 520 (DE-604)BV006185504 520 |
| spellingShingle | Andrews, Gregory R. Schneider, Fred B. Concepts and notations for concurrent programming Computer programming |
| title | Concepts and notations for concurrent programming |
| title_auth | Concepts and notations for concurrent programming |
| title_exact_search | Concepts and notations for concurrent programming |
| title_full | Concepts and notations for concurrent programming Gregory R. Andrews ; Fred B. Schneider |
| title_fullStr | Concepts and notations for concurrent programming Gregory R. Andrews ; Fred B. Schneider |
| title_full_unstemmed | Concepts and notations for concurrent programming Gregory R. Andrews ; Fred B. Schneider |
| title_short | Concepts and notations for concurrent programming |
| title_sort | concepts and notations for concurrent programming |
| topic | Computer programming |
| topic_facet | Computer programming |
| volume_link | (DE-604)BV006185504 |
| work_keys_str_mv | AT andrewsgregoryr conceptsandnotationsforconcurrentprogramming AT schneiderfredb conceptsandnotationsforconcurrentprogramming |