Specification and analysis of concurrent systems: the COSY approach
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1992
|
| Schriftenreihe: | European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science
26 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 480 S. graph. Darst. |
| ISBN: | 3540552049 0387552049 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV005413731 | ||
| 003 | DE-604 | ||
| 005 | 20110906 | ||
| 007 | t | ||
| 008 | 920504s1992 gw d||| |||| 00||| eng d | ||
| 020 | |a 3540552049 |9 3-540-55204-9 | ||
| 020 | |a 0387552049 |9 0-387-55204-9 | ||
| 035 | |a (OCoLC)246839372 | ||
| 035 | |a (DE-599)BVBBV005413731 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-12 |a DE-473 |a DE-91G |a DE-739 |a DE-29T |a DE-706 |a DE-523 |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.58 | |
| 082 | 0 | |a 005.1/2 |2 20 | |
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 132 |0 (DE-625)143589: |2 rvk | ||
| 084 | |a ST 200 |0 (DE-625)143611: |2 rvk | ||
| 084 | |a ST 257 |0 (DE-625)143630: |2 rvk | ||
| 084 | |a ST 265 |0 (DE-625)143634: |2 rvk | ||
| 084 | |a DAT 516f |2 stub | ||
| 084 | |a DAT 335f |2 stub | ||
| 100 | 1 | |a Janicki, Ryszard |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Specification and analysis of concurrent systems |b the COSY approach |c Ryszard Janicki ; Peter E. Lauer |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1992 | |
| 300 | |a XII, 480 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science |v 26 | |
| 650 | 7 | |a COSY |2 inriac | |
| 650 | 4 | |a Parallélisme (Informatique) | |
| 650 | 7 | |a Parallélisme (informatique) |2 ram | |
| 650 | 7 | |a Programacao de computadores |2 larpcal | |
| 650 | 7 | |a concurrence |2 inriac | |
| 650 | 7 | |a système concurrent |2 inriac | |
| 650 | 7 | |a traitement parallèle |2 inriac | |
| 650 | 4 | |a Parallel processing (Electronic computers) | |
| 650 | 0 | 7 | |a COSY |g Compiler-Compiler |0 (DE-588)4395640-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a COSY |0 (DE-588)4197838-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systemanalyse |0 (DE-588)4116673-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spezifikation |0 (DE-588)4139161-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a COSY |g Compiler-Compiler |0 (DE-588)4395640-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a COSY |0 (DE-588)4197838-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
| 689 | 4 | 1 | |a Systemanalyse |0 (DE-588)4116673-5 |D s |
| 689 | 4 | |5 DE-188 | |
| 689 | 5 | 0 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
| 689 | 5 | 1 | |a Spezifikation |0 (DE-588)4139161-5 |D s |
| 689 | 5 | |5 DE-188 | |
| 700 | 1 | |a Lauer, Peter E. |e Verfasser |4 aut | |
| 830 | 0 | |a European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science |v 26 |w (DE-604)BV005600727 |9 26 | |
| 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=003386834&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-003386834 | |
Datensatz im Suchindex
| _version_ | 1814170370906783744 |
|---|---|
| adam_text |
Contents
Preface v
1 What COSY Is and What It Is For 1
1 1 Introduction 1
1 2 Concepts, Objectives and Design Decisions 6
1 3 Structure of Book 10
1 4 Acknowledgements 16
2 Formal Theory of Basic COSY 19
2 1 Basic COSY Syntax and Semantics 19
2 2 VFS Semantics of COSY 23
221 Simple Properties of Vector Sequences 23
222 Vector Sequences and Partial Orders 29
223 Vector Sequences of Path Programs 32
224 Concurrent Product of Regular Expressions 38
2 3 Petri Net Semantics of COSY 39
231 Elements of Net Theory 41
232 VFS semantics of SMD nets 51
233 Semantics of Labelled Petri Nets 57
234 Labelled Petri Nets defined by Path Programs 65
235 Uniquely Named and Labelled Uniquely Named Regular
Expressions 71
236 Labelled Nets and Products of Regular Expressions 75
237 Labelled Nets and COSY Path Programs 83
238 Other Constructions 89
2 4 Adequacy Properties of Path Programs 97
241 Syntactically Conflict-Free Path Programs 97
242 Checking Adequacy of SCF-Path Programs 102
243 Adequacy-Preserving Transformations 114
i ii| irr 'iir
Contents
Insertions Preserving Adequacy
Deletions Preserving Adequacy 128
Applications of Adequacy-Preserving Transformations 132
244 Free-Choice Path Programs 137
2 5 Execution Semantics for COSY 140
251 Execution Strategies 143
252 Maximally Concurrent Strategies 15®
2 6 Semantics of COSY with Priorities 1®1
261 Observations and Multiple Sequences 1®7
262 MFS Semantics for Priority COSY 170
263 Starvation Problem 175
264 Infinite MFS and Formal Definition of Starvation 180
265 Simulation of Dynamic Priorities 184
266 VFS Semantics for Priority COSY 186
2 7 Bibliographic Notes 104
3 High-level COSY Programs and System Design 197
3 1 High-level COSY Syntax and Semantics 197
3 2 The Process Notation 226
3 3 Macro Generators for COSY Notation 231
331 The Macro Program 235
332 The Collectivisors 236
333 The Body-Replicators 241
334 Macro Paths and Macro Processes 241
335 Sequence Replicators 242
336 Left and Right Sequence Replicators 246
337 The Distributors 247
338 Expansion of Macro COSY Programs 256
The Expansion of Replicators 260
The Expansion of Distributors 262
Expansion Theorem 268
3 4 The Semantics of Macro COSY Programs 273
3 5 The COSY Environment 274
351 The Architecture of BCS 275
The BCS Analysis Mechanism 275
The BCS Semantic Transformation Mechanism 277
The BCS Interface 278
352 The Macro COSY Environment 278
3 6 The COSY System Dossier 280
3 7 Bibliographical Notes 283
Contents xi
4 COSY Applications 285
4 1 Two-Way Channel with Disconnect 286
411 Bibliographie Notes 292
4 2 The Hyperfast Banker 292
421 The Bank Director 292
422 The Vault 294
423 The Doors 296
424 The Fair Doormen 297
425 The Counters 297
426 The Clerks 299
427 The Fair Reimbursers 300
428 The Customers 300
429 Priority Constraints 301
4 2 10 Final Comment and Bibliographical Notes 303
4 3 Cigarette Smokers 303
Bibliographic Notes 319
4 4 Merlin-Randell Problem of Train Journeys 320
441 Movement Graphs and Minimal Critical Patterns 320
442 COSY Specification of the Synchronization 325
443 Final Comment and Bibliographic Notes 329
4 5 Transforming Sequential Systems into Concurrent Systems 331
451 e-Paths and e-Path Programs 335
452 Concurrent e-Paths and Proper Concurrent e-Paths 337
453 Synchronized e-Path Programs 340
454 Final Comment and Bibliographic Notes 344
4 6 Modelling N-Modular Redundancy 345
461 Replicated Computation in Networks of Computing Nodes 346
462 Formal Specification 349
463 Bibliographical Notes 354
5 Comparison of COSY with Other Models 355
5 1 COSY and CCS 355
5 2 COSY and CSP 363
5 3 Full COSY and Petri Nets 371
531 Uniquely Named Comma amp;Star-free Programs and Asym
metric Choice Nets 371
532 Priority Path Programs, Priority Nets and Inhibitor Nets 381
5 4 Vector Sequences and Mazurkiewicz Traces 390
5 5 COSY and Synchronized Behaviours 392
Contents
6 Historical Perspective 395
6 1 Introduction 395
6 2 Conceptual and Methodological Framework of COSY Approach 396
Bibliography 407
Appendices
A Algebra of Relations 423
B Automata and Formal Language Theory 427
B l Strings 427
B 2 Languages 427
B 3 Regular Expressions and Languages 428
B 4 Finite State Automata and Grammars 429
C Elements of Graph Theory 433
D Proofs of Theorems 2 25, 2 26 and 2 28 435
E Proofs of Theorems 2 37 and 2 38 441
F Proof of Theorem 2 29 447
G Proof of Theorem 4 3 451
H Basic COSY Notations and Macro COSY Notation 457
List of Figures 463
List of Algorithms 467
List of Definitions 467
List of Theorems 468
List of Corollaries 470
List of Lemmas 471
xii
Index 473 |
| any_adam_object | 1 |
| author | Janicki, Ryszard Lauer, Peter E. |
| author_facet | Janicki, Ryszard Lauer, Peter E. |
| author_role | aut aut |
| author_sort | Janicki, Ryszard |
| author_variant | r j rj p e l pe pel |
| building | Verbundindex |
| bvnumber | BV005413731 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.58 |
| callnumber-search | QA76.58 |
| callnumber-sort | QA 276.58 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 120 ST 130 ST 132 ST 200 ST 257 ST 265 |
| classification_tum | DAT 516f DAT 335f |
| ctrlnum | (OCoLC)246839372 (DE-599)BVBBV005413731 |
| dewey-full | 005.1/2 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/2 |
| dewey-search | 005.1/2 |
| dewey-sort | 15.1 12 |
| 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>00000nam a2200000 cb4500</leader><controlfield tag="001">BV005413731</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110906</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">920504s1992 gw d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540552049</subfield><subfield code="9">3-540-55204-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387552049</subfield><subfield code="9">0-387-55204-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246839372</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005413731</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.58</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/2</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 132</subfield><subfield code="0">(DE-625)143589:</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">ST 257</subfield><subfield code="0">(DE-625)143630:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 265</subfield><subfield code="0">(DE-625)143634:</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 335f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Janicki, Ryszard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Specification and analysis of concurrent systems</subfield><subfield code="b">the COSY approach</subfield><subfield code="c">Ryszard Janicki ; Peter E. Lauer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 480 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="490" ind1="1" ind2=" "><subfield code="a">European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science</subfield><subfield code="v">26</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COSY</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallélisme (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Parallélisme (informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programacao de computadores</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">concurrence</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">traitement parallèle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">COSY</subfield><subfield code="g">Compiler-Compiler</subfield><subfield code="0">(DE-588)4395640-3</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">COSY</subfield><subfield code="0">(DE-588)4197838-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">COSY</subfield><subfield code="g">Compiler-Compiler</subfield><subfield code="0">(DE-588)4395640-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">COSY</subfield><subfield code="0">(DE-588)4197838-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="1"><subfield code="a">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="689" ind1="5" ind2="0"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="5" ind2="1"><subfield code="a">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="5" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lauer, Peter E.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science</subfield><subfield code="v">26</subfield><subfield code="w">(DE-604)BV005600727</subfield><subfield code="9">26</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=003386834&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-003386834</subfield></datafield></record></collection> |
| id | DE-604.BV005413731 |
| illustrated | Illustrated |
| indexdate | 2024-10-28T15:01:27Z |
| institution | BVB |
| isbn | 3540552049 0387552049 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003386834 |
| oclc_num | 246839372 |
| open_access_boolean | |
| owner | DE-384 DE-12 DE-473 DE-BY-UBG DE-91G DE-BY-TUM DE-739 DE-29T DE-706 DE-523 DE-634 DE-83 DE-11 DE-188 |
| owner_facet | DE-384 DE-12 DE-473 DE-BY-UBG DE-91G DE-BY-TUM DE-739 DE-29T DE-706 DE-523 DE-634 DE-83 DE-11 DE-188 |
| physical | XII, 480 S. graph. Darst. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Springer |
| record_format | marc |
| series | European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science |
| series2 | European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science |
| spelling | Janicki, Ryszard Verfasser aut Specification and analysis of concurrent systems the COSY approach Ryszard Janicki ; Peter E. Lauer Berlin [u.a.] Springer 1992 XII, 480 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science 26 COSY inriac Parallélisme (Informatique) Parallélisme (informatique) ram Programacao de computadores larpcal concurrence inriac système concurrent inriac traitement parallèle inriac Parallel processing (Electronic computers) COSY Compiler-Compiler (DE-588)4395640-3 gnd rswk-swf Parallelverarbeitung (DE-588)4075860-6 gnd rswk-swf COSY (DE-588)4197838-9 gnd rswk-swf Systemanalyse (DE-588)4116673-5 gnd rswk-swf Spezifikation (DE-588)4139161-5 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf COSY Compiler-Compiler (DE-588)4395640-3 s DE-604 COSY (DE-588)4197838-9 s Nebenläufigkeit (DE-588)4115352-2 s Parallelverarbeitung (DE-588)4075860-6 s Systemanalyse (DE-588)4116673-5 s DE-188 Spezifikation (DE-588)4139161-5 s Lauer, Peter E. Verfasser aut European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science 26 (DE-604)BV005600727 26 HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003386834&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Janicki, Ryszard Lauer, Peter E. Specification and analysis of concurrent systems the COSY approach European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science COSY inriac Parallélisme (Informatique) Parallélisme (informatique) ram Programacao de computadores larpcal concurrence inriac système concurrent inriac traitement parallèle inriac Parallel processing (Electronic computers) COSY Compiler-Compiler (DE-588)4395640-3 gnd Parallelverarbeitung (DE-588)4075860-6 gnd COSY (DE-588)4197838-9 gnd Systemanalyse (DE-588)4116673-5 gnd Spezifikation (DE-588)4139161-5 gnd Nebenläufigkeit (DE-588)4115352-2 gnd |
| subject_GND | (DE-588)4395640-3 (DE-588)4075860-6 (DE-588)4197838-9 (DE-588)4116673-5 (DE-588)4139161-5 (DE-588)4115352-2 |
| title | Specification and analysis of concurrent systems the COSY approach |
| title_auth | Specification and analysis of concurrent systems the COSY approach |
| title_exact_search | Specification and analysis of concurrent systems the COSY approach |
| title_full | Specification and analysis of concurrent systems the COSY approach Ryszard Janicki ; Peter E. Lauer |
| title_fullStr | Specification and analysis of concurrent systems the COSY approach Ryszard Janicki ; Peter E. Lauer |
| title_full_unstemmed | Specification and analysis of concurrent systems the COSY approach Ryszard Janicki ; Peter E. Lauer |
| title_short | Specification and analysis of concurrent systems |
| title_sort | specification and analysis of concurrent systems the cosy approach |
| title_sub | the COSY approach |
| topic | COSY inriac Parallélisme (Informatique) Parallélisme (informatique) ram Programacao de computadores larpcal concurrence inriac système concurrent inriac traitement parallèle inriac Parallel processing (Electronic computers) COSY Compiler-Compiler (DE-588)4395640-3 gnd Parallelverarbeitung (DE-588)4075860-6 gnd COSY (DE-588)4197838-9 gnd Systemanalyse (DE-588)4116673-5 gnd Spezifikation (DE-588)4139161-5 gnd Nebenläufigkeit (DE-588)4115352-2 gnd |
| topic_facet | COSY Parallélisme (Informatique) Parallélisme (informatique) Programacao de computadores concurrence système concurrent traitement parallèle Parallel processing (Electronic computers) COSY Compiler-Compiler Parallelverarbeitung Systemanalyse Spezifikation Nebenläufigkeit |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003386834&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV005600727 |
| work_keys_str_mv | AT janickiryszard specificationandanalysisofconcurrentsystemsthecosyapproach AT lauerpetere specificationandanalysisofconcurrentsystemsthecosyapproach |