Semantics of parallelism: non-interleaving representation of behaviour
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
London [u.a.]
Springer
1997
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIII, 473 S. graph. Darst. |
| ISBN: | 3540760598 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011230124 | ||
| 003 | DE-604 | ||
| 005 | 19980318 | ||
| 007 | t | ||
| 008 | 970226s1997 gw d||| |||| 00||| ger d | ||
| 016 | 7 | |a 949289388 |2 DE-101 | |
| 020 | |a 3540760598 |c kart. : DM 108.00 |9 3-540-76059-8 | ||
| 035 | |a (OCoLC)36138338 | ||
| 035 | |a (DE-599)BVBBV011230124 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-384 |a DE-91G |a DE-29T |a DE-521 |a DE-11 | ||
| 050 | 0 | |a QA76.58.S537 1997 | |
| 082 | 0 | |a 004/.35/015118 |2 21 | |
| 082 | 0 | |a 004/.35/015118 21 | |
| 084 | |a CC 4800 |0 (DE-625)17631: |2 rvk | ||
| 084 | |a ST 140 |0 (DE-625)143592: |2 rvk | ||
| 084 | |a ST 150 |0 (DE-625)143594: |2 rvk | ||
| 084 | |a DAT 516f |2 stub | ||
| 084 | |a DAT 557f |2 stub | ||
| 084 | |a 27 |2 sdnb | ||
| 084 | |a 28 |2 sdnb | ||
| 100 | 1 | |a Shields, Michael William |d 1950- |e Verfasser |0 (DE-588)120008645 |4 aut | |
| 245 | 1 | 0 | |a Semantics of parallelism |b non-interleaving representation of behaviour |c Michael W. Shields |
| 264 | 1 | |a London [u.a.] |b Springer |c 1997 | |
| 300 | |a XIII, 473 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Parallel processing (Electronic computers) | |
| 650 | 4 | |a Programming languages (Electronic computers) -- Semantics | |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 0 | 1 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
| 689 | 0 | 2 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | 3 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007535861&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007535861 | |
Datensatz im Suchindex
| _version_ | 1807683740240969728 |
|---|---|
| adam_text |
CONTENTS
1.
WHYS
AND
WHEREFORES
1
1.1.
WHY
MODELS
OF
PARALLELISM
?
1
1.2.
SPECIFICATION
IN
A
VARIETY
OF
STYLES.
5
1.3.
AN
OVERVIEW
OF
THE
BASIC
MODEL.
7
1.4.
THE
CONTENTS
OF
THE
BOOK.
13
2.
BEHAVIOURAL
PRESENTATIONS
16
2.1.
INTRODUCTION.
16
2.2.
EXAMPLES.
18
2.3
BASIC
PROPERTIES
OF
BEHAVIOURAL
PRESENTATIONS.
20
NOTES.
25
3.
DISCRETE
BEHAVIOURAL
PRESENTATIONS
26
3.1.
INTRODUCTION:
ZENO'S
PARADOXES.
26
3.2.
DISCRETENESS.
28
3.3.
A
CHARACTERISATION
OF
DISCRETE
BEHAVIOURAL
PRESENTATIONS.
30
NOTES.
37
4.
ORDER
THEORETIC
PROPERTIES
OF
LEFT-CLOSED
BEHAVIOURAL
PRESENTATIONS
38
4.1.
INTRODUCTION.
38
4.2.
CONSISTENT
COMPLETENESS.
39
4.3.
PRIME
ALGEBRAICITY.
40
NOTES:
43
5.
EVENT
STRUCTURES
AND
CLOSURES
OF
BEHAVIOURAL
PRESENTATIONS
44
5.1
INTRODUCTION.
44
5.2.
EVENT
STRUCTURES
AND
BEHAVIOURAL
PRESENTATIONS.
45
5.3.
CLOSURE
OF
BEHAVIOURAL
PRESENTATIONS.
49
NOTES.
54
6.
ANOTHER
EVENT
STRUCTURE
MODEL
56
6.1
INTRODUCTION.
56
6.2.
THE
MODEL.
57
6.3.
BEHAVIOURAL
PRESENTATIONS
WHICH
REPRESENT
EVENT
STRUCTURES.
62
NOTES.
65
7.
PROPERTIES
OF
BEHAVIOURAL
PRESENTATIONS
66
7.1.
INTRODUCTION.
66
7.2.
ASYNCHRONY.
66
7.3.
LEFT-CLOSURE
AND
DISCRETENESS.
67
7.4.
DETERMINACY.
68
7.5.
CONCURRENCY.
72
7.6.
CLOSURE.
74
8.
KARP
AND
MILLER
COMPUTATION
GRAPHS
75
8.1.
INTRODUCTION.
75
8.2.
THE
MODEL
AND
ITS
NODE-SET
SEQUENCE
SEMANTICS.
76
8.3.
BEHAVIOURAL
PRESENTATION
SEMANTICS.
78
8.4.
COMPARING
THE
SEMANTICS.
86
NOTES.
91
9.
TRACE
AND
VECTOR
LANGUAGES
93
9.1.
INTRODUCTION.
93
9.2.
BASIC
DEFINITIONS
AND
PROPERTIES.
94
9.3.
EQUIVALENCE
OF
THE
MODELS.
102
NOTES.
104
10.
ORDER
THEORETIC
PROPERTIES
OF
VECTOR
LANGUAGES
105
10.1.
INTRODUCTION.
105
10.2.
CONSISTENT
COMPLETENESS.
105
10.3.
PRIME
ALGEBRAICITY.
113
10.4.
LEFT-CLOSED
VECTOR
LANGUAGES.
117
10.5.
PARALLEL
COMPOSITION.
118
NOTES.
120
11.
DETERMINACY
122
11.1.
INTRODUCTION.
122
11.2.
STRONGLY
FORWARD
STABLE
VECTOR
LANGUAGES.
122
11.3.
SIMPLE
VECTOR
LANGUAGES.
125
NOTES.
133
12.
LINGUISTIC
BEHAVIOURAL
PRESENTATIONS
134
12.1.
INTRODUCTION.
134
12.2.
THE
STRUCTURE
OF
B
LA
.
136
12.3.
STRONG
FORWARD
STABILITY
REVISITED.
149
NOTES.
151
13.
UNAMBIGUOUS
TRANSITION
SYSTEMS
152
13.1.
INTRODUCTION.
152
13.2.
TRANSITION
SYSTEMS.
154
13.3.
PROPERTIES
OF
UNAMBIGUOUS
TRANSITION
SYSTEMS.
161
13.4.
BISIMULATION.
164
13.5.
COMPUTATION
GRAPHS
REVISITED.
167
NOTES.
170
14.
GENERAL
TRANSITION
SYSTEMS
173
14.1.
INTRODUCTION.
173
14.2.
BEHAVIOUR
OF
TRANSITION
SYSTEMS.
174
14.3.
STRONG
EQUIVALENCE.
177
14.4.
STRICT
EQUIVALENCE.
178
15.
ASYNCHRONOUS
TRANSITION
SYSTEMS
183
15.1.
INTRODUCTION.
183
15.2.
THE
AUTOMATA.
184
15.3.
EQUIVALENCES.
187
NOTES.
189
16.
CONDITION/EVENT
SYSTEMS:
PROCESS
AND
OCCURRENCE
NET
SEMANTICS
190
16.1.
INTRODUCTION.
190
16.2.
NET
THEORY,
C/E
SYSTEMS
AND
PROCESS
SEMANTICS.
191
16.3.
OCCURRENCE
NET
SEMANTICS.
197
NOTES.
199
17.
CONDITION/EVENT
SYSTEMS:
ASYNCHRONOUS
TRANSITION
SYSTEM
SEMANTICS
200
17.1.
INTRODUCTION.
200
17.2.
ASYNCHRONOUS
TRANSITION
SYSTEM
SEMANTICS.
201
17.3.
COMPARISON
OF
THE
SEMANTICS:
PRELIMINARIES.
203
17.4.
FROM
BEHAVIOURAL
PRESENTATIONS
TO
PROCESSES
.
206
17.5.
.
.AND
BACK
AGAIN.
213
18.
LOOSELY
COUPLED
SYSTEMS
224
18.1.
INTRODUCTION.
224
18.2.
PURE
LOOSELY
COUPLED
SYSTEMS.
225
18.3.
LOOSELY
COUPLED
SYSTEMS
WITH
TRANSITIONS.
229
19.
CATEGORICAL
CONNECTIONS
231
19.1.
INTRODUCTION.
231
19.2.
ASYNCHRONOUS
TRANSITION
SYSTEMS.
232
19.3.
TRACE
LANGUAGES.
235
19.4.
DISCRETE
BEHAVIOURAL
PRESENTATIONS.
240
20.
CATEGORICAL
APPLICATIONS
251
20.1.
INTRODUCTION.
251
20.2.
REDUCTION
MORPHISMS.
251
20.3.
PRODUCTS.
258
21.
AN
APPLICATION:
REALISATION
BY
NETS
266
21.1.
INTRODUCTION.
266
21.2.
CONDITIONS
FOR
REALISATION.
267
21.3.
REPRESENTATION
OF
LOOSELY
COUPLED
SYSTEMS.
273
NOTES.
280
22.
HYBRID
TRANSITION
SYSTEMS
281
22.1.
INTRODUCTION.
281
22.2.
THE
MODEL.
282
22.3.
CLASSES
OF
HYBRID
TRANSITION
SYSTEMS.
299
NOTES.
303
23.
THE
KELLER
PARALLEL
COMPUTATION
MODEL
304
23.1.
INTRODUCTION.
304
23.2.
THE
MODEL
AND
ITS
TRANSITION
SYSTEM
SEMANTICS.
305
23.3.
A
HYBRID
TRANSITION
SYSTEM
SEMANTICS
FOR
GENERAL
NETS.
308
23.4.
HYBRID
TRANSITION
SYSTEM
SEMANTICS
FOR
PARALLEL
PROGRAMS.
314
23.5.
COMPARISON
OF
THE
SEMANTICS.
318
NOTES.
319
24.
FROM
PATH
EXPRESSIONS
TO
TCSP
320
24.1.
INTRODUCTION.
320
24.2.
SYNTAX
AND
MARKED,
LABELLED
NET
SEMANTICS.
322
24.3.
HYBRID
TRANSITION
SYSTEM
SEMANTICS.
328
24.4.
COMPARISON
OF
THE
SEMANTICS.
332
24.5.
EMBEDDING
COSY
INTO
TCSP.
337
NOTES.
340
25.
THE
NIVAT/ARNOLD
PROCESS
MODEL
342
25.1.
INTRODUCTION.
342
25.2.
THE
MODEL
AND
ITS
VECTOR
SEMANTICS.
343
25.3.
PROCESS
STRUCTURE.
348
25.4.
HYBRID
TRANSITION
SYSTEM
SEMANTICS.
351
25.5.
COMPARISON
WITH
THE
PATH/PROCESS
NOTATION.
358
25.6.
PROCESS
STRUCTURE
AND
OCCURRENCE
NETS.
363
NOTES.
367
26.
CONSTRUCTIONS
ON
HYBRID
TRANSITION
SYSTEMS
368
26.1.
INTRODUCTION.
368
26.2.
RECURSION.
368
26.3
NON-RECURSIVE
CONSTRUCTIONS.
375
NOTES.
382
27.
PROCESS
CALCULUS
(CCS)
383
27.1.
INTRODUCTION.
383
27.2.
SYNTAX
AND
TRANSITION
SYSTEM
SEMANTICS.
384
27.3.
HYBRID
TRANSITION
SYSTEM
SEMANTICS.
388
27.4.
PROPERTIES
OF
EXPRESSIONS.
394
27.5.
COMPARISON
OF
THE
SEMANTICS.
399
NOTES.
413
28.
THEORETICAL
CSP
415
28.1.
INTRODUCTION.
415
28.2.
TCSP
AND
ITS
FAILURE/DIVERGENCE
SEMANTICS.
416
28.3.
HYBRID
TRANSITION
SYSTEM
SEMANTICS.
429
28.4.
COMPARISON
OF
THE
SEMANTICS.
432
28.5.
EXTENDING
THE
HYBRID
TRANSITION
SYSTEM
SEMANTICS.
446
NOTES.
450
29.
CONCLUSIONS:
THEORIES
OF
PARALLELISM
452
APPENDIX.
REVIEW
OF
MATHEMATICAL
PREREQUISITES
457
REFERENCES
463
INDEX
471 |
| any_adam_object | 1 |
| author | Shields, Michael William 1950- |
| author_GND | (DE-588)120008645 |
| author_facet | Shields, Michael William 1950- |
| author_role | aut |
| author_sort | Shields, Michael William 1950- |
| author_variant | m w s mw mws |
| building | Verbundindex |
| bvnumber | BV011230124 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.58.S537 1997 |
| callnumber-search | QA76.58.S537 1997 |
| callnumber-sort | QA 276.58 S537 41997 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 4800 ST 140 ST 150 |
| classification_tum | DAT 516f DAT 557f |
| ctrlnum | (OCoLC)36138338 (DE-599)BVBBV011230124 |
| dewey-full | 004/.35/015118 004/.35/01511821 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.35/015118 004/.35/015118 21 |
| dewey-search | 004/.35/015118 004/.35/015118 21 |
| dewey-sort | 14 235 515118 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Philosophie |
| format | 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">BV011230124</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19980318</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">970226s1997 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">949289388</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540760598</subfield><subfield code="c">kart. : DM 108.00</subfield><subfield code="9">3-540-76059-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)36138338</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011230124</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.58.S537 1997</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.35/015118</subfield><subfield code="2">21</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.35/015118 21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 4800</subfield><subfield code="0">(DE-625)17631:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 140</subfield><subfield code="0">(DE-625)143592:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 150</subfield><subfield code="0">(DE-625)143594:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 557f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">27</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Shields, Michael William</subfield><subfield code="d">1950-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120008645</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Semantics of parallelism</subfield><subfield code="b">non-interleaving representation of behaviour</subfield><subfield code="c">Michael W. Shields</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 473 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">Parallel processing (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers) -- Semantics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="1"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=007535861&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-007535861</subfield></datafield></record></collection> |
| id | DE-604.BV011230124 |
| illustrated | Illustrated |
| indexdate | 2024-08-18T00:39:13Z |
| institution | BVB |
| isbn | 3540760598 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007535861 |
| oclc_num | 36138338 |
| open_access_boolean | |
| owner | DE-739 DE-384 DE-91G DE-BY-TUM DE-29T DE-521 DE-11 |
| owner_facet | DE-739 DE-384 DE-91G DE-BY-TUM DE-29T DE-521 DE-11 |
| physical | XIII, 473 S. graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Springer |
| record_format | marc |
| spelling | Shields, Michael William 1950- Verfasser (DE-588)120008645 aut Semantics of parallelism non-interleaving representation of behaviour Michael W. Shields London [u.a.] Springer 1997 XIII, 473 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Parallel processing (Electronic computers) Programming languages (Electronic computers) -- Semantics Semantik (DE-588)4054490-4 gnd rswk-swf Parallelverarbeitung (DE-588)4075860-6 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf Verteiltes System (DE-588)4238872-7 s Parallelverarbeitung (DE-588)4075860-6 s Programmiersprache (DE-588)4047409-4 s Semantik (DE-588)4054490-4 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007535861&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Shields, Michael William 1950- Semantics of parallelism non-interleaving representation of behaviour Parallel processing (Electronic computers) Programming languages (Electronic computers) -- Semantics Semantik (DE-588)4054490-4 gnd Parallelverarbeitung (DE-588)4075860-6 gnd Verteiltes System (DE-588)4238872-7 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4054490-4 (DE-588)4075860-6 (DE-588)4238872-7 (DE-588)4047409-4 |
| title | Semantics of parallelism non-interleaving representation of behaviour |
| title_auth | Semantics of parallelism non-interleaving representation of behaviour |
| title_exact_search | Semantics of parallelism non-interleaving representation of behaviour |
| title_full | Semantics of parallelism non-interleaving representation of behaviour Michael W. Shields |
| title_fullStr | Semantics of parallelism non-interleaving representation of behaviour Michael W. Shields |
| title_full_unstemmed | Semantics of parallelism non-interleaving representation of behaviour Michael W. Shields |
| title_short | Semantics of parallelism |
| title_sort | semantics of parallelism non interleaving representation of behaviour |
| title_sub | non-interleaving representation of behaviour |
| topic | Parallel processing (Electronic computers) Programming languages (Electronic computers) -- Semantics Semantik (DE-588)4054490-4 gnd Parallelverarbeitung (DE-588)4075860-6 gnd Verteiltes System (DE-588)4238872-7 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Parallel processing (Electronic computers) Programming languages (Electronic computers) -- Semantics Semantik Parallelverarbeitung Verteiltes System Programmiersprache |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007535861&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT shieldsmichaelwilliam semanticsofparallelismnoninterleavingrepresentationofbehaviour |