Designing concurrency semantics:
Abstract: "Based on our experience in the design of semantics for several families of parallel languages, we present an expository account of a selection of four topics in concurrency semantics. These illustrate both foundational issues such as the connection with infinitary formal language the...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
1989
|
| Schriftenreihe: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
89,2 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "Based on our experience in the design of semantics for several families of parallel languages, we present an expository account of a selection of four topics in concurrency semantics. These illustrate both foundational issues such as the connection with infinitary formal language theory and domain theory, and problems arising from the modelling of notions such as process creation and rendez-vous." |
| Beschreibung: | 15 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009245994 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940313s1989 |||| 00||| eng d | ||
| 035 | |a (OCoLC)21502064 | ||
| 035 | |a (DE-599)BVBBV009245994 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Bakker, Jacobus W. de |d 1939-2012 |e Verfasser |0 (DE-588)1047965461 |4 aut | |
| 245 | 1 | 0 | |a Designing concurrency semantics |c J. W. de Bakker |
| 264 | 1 | |a Amsterdam |c 1989 | |
| 300 | |a 15 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |v 89,2 | |
| 520 | 3 | |a Abstract: "Based on our experience in the design of semantics for several families of parallel languages, we present an expository account of a selection of four topics in concurrency semantics. These illustrate both foundational issues such as the connection with infinitary formal language theory and domain theory, and problems arising from the modelling of notions such as process creation and rendez-vous." | |
| 650 | 4 | |a Parallel programming (Computer science) | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Semantics | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 89,2 |w (DE-604)BV008928356 |9 89,2 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006152333 | ||
Datensatz im Suchindex
| _version_ | 1804123693279870976 |
|---|---|
| any_adam_object | |
| author | Bakker, Jacobus W. de 1939-2012 |
| author_GND | (DE-588)1047965461 |
| author_facet | Bakker, Jacobus W. de 1939-2012 |
| author_role | aut |
| author_sort | Bakker, Jacobus W. de 1939-2012 |
| author_variant | j w d b jwd jwdb |
| building | Verbundindex |
| bvnumber | BV009245994 |
| ctrlnum | (OCoLC)21502064 (DE-599)BVBBV009245994 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01475nam a2200301 cb4500</leader><controlfield tag="001">BV009245994</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940313s1989 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)21502064</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009245994</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-29T</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bakker, Jacobus W. de</subfield><subfield code="d">1939-2012</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1047965461</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Designing concurrency semantics</subfield><subfield code="c">J. W. de Bakker</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">15 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="490" ind1="1" ind2=" "><subfield code="a">Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS</subfield><subfield code="v">89,2</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Based on our experience in the design of semantics for several families of parallel languages, we present an expository account of a selection of four topics in concurrency semantics. These illustrate both foundational issues such as the connection with infinitary formal language theory and domain theory, and problems arising from the modelling of notions such as process creation and rendez-vous."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel programming (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Semantics</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Report CS</subfield><subfield code="t">Centrum voor Wiskunde en Informatica <Amsterdam></subfield><subfield code="v">89,2</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">89,2</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006152333</subfield></datafield></record></collection> |
| id | DE-604.BV009245994 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:33:49Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006152333 |
| oclc_num | 21502064 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 15 S. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Bakker, Jacobus W. de 1939-2012 Verfasser (DE-588)1047965461 aut Designing concurrency semantics J. W. de Bakker Amsterdam 1989 15 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 89,2 Abstract: "Based on our experience in the design of semantics for several families of parallel languages, we present an expository account of a selection of four topics in concurrency semantics. These illustrate both foundational issues such as the connection with infinitary formal language theory and domain theory, and problems arising from the modelling of notions such as process creation and rendez-vous." Parallel programming (Computer science) Programming languages (Electronic computers) Semantics Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 89,2 (DE-604)BV008928356 89,2 |
| spellingShingle | Bakker, Jacobus W. de 1939-2012 Designing concurrency semantics Parallel programming (Computer science) Programming languages (Electronic computers) Semantics |
| title | Designing concurrency semantics |
| title_auth | Designing concurrency semantics |
| title_exact_search | Designing concurrency semantics |
| title_full | Designing concurrency semantics J. W. de Bakker |
| title_fullStr | Designing concurrency semantics J. W. de Bakker |
| title_full_unstemmed | Designing concurrency semantics J. W. de Bakker |
| title_short | Designing concurrency semantics |
| title_sort | designing concurrency semantics |
| topic | Parallel programming (Computer science) Programming languages (Electronic computers) Semantics |
| topic_facet | Parallel programming (Computer science) Programming languages (Electronic computers) Semantics |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT bakkerjacobuswde designingconcurrencysemantics |