Process algebra: equational theories of communicating processes
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge [u.a.]
Cambridge Univ. Press
2010
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Cambridge tracts in theoretical computer science
50 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturverz. S. 411 - 420 |
| Beschreibung: | XVI, 460 S. graph. Darst. |
| ISBN: | 9780521820493 0521820499 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036802127 | ||
| 003 | DE-604 | ||
| 005 | 20110504 | ||
| 007 | t | ||
| 008 | 101129s2010 d||| |||| 00||| eng d | ||
| 020 | |a 9780521820493 |c (hbk.) £50.00 |9 978-0-521-82049-3 | ||
| 020 | |a 0521820499 |c (hbk.) £50.00 |9 0-521-82049-9 | ||
| 035 | |a (OCoLC)706013423 | ||
| 035 | |a (DE-599)GBV606479163 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 |a DE-706 | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 100 | 1 | |a Baeten, Josephus C. M. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Process algebra |b equational theories of communicating processes |c J. C. M. Baeten ; T. Basten ; M. A. Reniers |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge Univ. Press |c 2010 | |
| 300 | |a XVI, 460 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Cambridge tracts in theoretical computer science |v 50 | |
| 500 | |a Literaturverz. S. 411 - 420 | ||
| 650 | 0 | 7 | |a Prozessalgebra |0 (DE-588)4283920-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prozess |g Informatik |0 (DE-588)4235427-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Prozessalgebra |0 (DE-588)4283920-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Prozess |g Informatik |0 (DE-588)4235427-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Basten, Twan |d 1969- |e Verfasser |0 (DE-588)142931535 |4 aut | |
| 700 | 1 | |a Reniers, M. A. |d 1970- |e Verfasser |0 (DE-588)142930911 |4 aut | |
| 830 | 0 | |a Cambridge tracts in theoretical computer science |v 50 |w (DE-604)BV000754528 |9 50 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020718281&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-020718281 | ||
Datensatz im Suchindex
| _version_ | 1804143494586957824 |
|---|---|
| adam_text | IMAGE 1
FOREWORD
P. IX
FOREWORD
P. X
FOREWORD
P. XI
PREFACE
P. XIII
PROCESS ALGEBRA
P. 1
DEFINITION
P. 1
CALCULATION
P. 3
HISTORY
P. 4
PRELIMINARIES
P. 11
INTRODUCTION
P. 11
EQUATIONAL THEORIES
P. 11
ALGEBRAS
P. 21
TERM REWRITING SYSTEMS
P. 30
BIBLIOGRAPHICAL REMARKS
P. 34
TRANSITION SYSTEMS
P. 35
TRANSITION-SYSTEM SPACES
P. 35
STRUCTURAL OPERATIONAL SEMANTICS
P. 47
BIBLIOGRAPHICAL REMARKS
P. 64
BASIC PROCESS THEORY
P. 67
INTRODUCTION
P. 67
THE PROCESS THEORY MPT
P. 68
THE TERM MODEL
P. 72
THE EMPTY PROCESS
P. 81
PROJECTION
P. 92
PREFIX ITERATION
P. 102
BIBLIOGRAPHICAL REMARKS
P. 107
RECURSION
P. 109
INTRODUCTION
P. 109
RECURSIVE SPECIFICATIONS
P. 110
SOLUTIONS OF RECURSIVE SPECIFICATIONS
P. 113
THE TERM MODEL
P. 119
RECURSION PRINCIPLES
P. 124
DESCRIBING A STACK
P. 146
EXPRESSIVENESS AND DEFINABILITY
P. 148
REGULAR PROCESSES
P. 154
RECURSION AND BSP*(A)
P. 157
THE PROJECTIVE LIMIT MODEL
P. 159
BIBLIOGRAPHICAL REMARKS
P. 168
SEQUENTIAL PROCESSES
P. 171
SEQUENTIAL COMPOSITION
P. 171
THE PROCESS THEORY TSP
P. 171
IMAGE 2
THE TERM MODEL
P. 174
PROJECTION IN TSP(A)
P. 177
ITERATION
P. 178
RECURSION
P. 182
RENAMING, ENCAPSULATION, AND SKIP OPERATORS
P. 189
BIBLIOGRAPHICAL REMARKS
P. 194
PARALLEL AND COMMUNICATING PROCESSES
P. 195
INTERLEAVING
P. 195
AN OPERATIONAL VIEW
P. 196
STANDARD COMMUNICATION
P. 199
THE PROCESS THEORY BCP
P. 201
THE TERM MODEL
P. 216
RECURSION, BUFFERS, AND BAGS
P. 218
THE PROCESS THEORY TCP AND FURTHER EXTENSIONS
P. 227
SPECIFYING THE ALTERNATING-BIT PROTOCOL
P. 235
BIBLIOGRAPHICAL REMARKS
P. 242
ABSTRACTION
P. 245
INTRODUCTION
P. 245
TRANSITION SYSTEMS WITH SILENT STEPS
P. 246
BSP WITH SILENT STEPS
P. 256
THE TERM MODEL
P. 258
SOME EXTENSIONS OF BSP
P. 267
TCP WITH SILENT STEPS
P. 276
ITERATION AND DIVERGENCE
P. 280
RECURSION AND FAIR ABSTRACTION
P. 284
VERIFICATION OF THE ABP AND QUEUES REVISITED
P. 295
BIBLIOGRAPHICAL REMARKS
P. 298
TIMING
P. 301
INTRODUCTION
P. 301
TIMED TRANSITION SYSTEMS
P. 304
DISCRETE TIME, RELATIVE TIME
P. 307
THE TERM MODEL
P. 309
TIME ITERATION AND DELAYABLE ACTIONS
P. 312
THE RELATION BETWEEN BSP(A) AND BSP
P. 317
THE PROCESS THEORY TCP
P. 319
FISCHER S PROTOCOL
P. 327
BIBLIOGRAPHICAL REMARKS
P. 333
DATA AND STATES
P. 335
INTRODUCTION
P. 335
GUARDED COMMANDS
P. 336
THE INACCESSIBLE PROCESS
P. 345
IMAGE 3
PROPOSITIONAL SIGNALS
P. 348
STATE OPERATORS
P. 362
CHOICE QUANTIFICATION
P. 366
BIBLIOGRAPHICAL REMARKS
P. 374
FEATURES
P. 375
PRIORITIES
P. 375
PROBABILITIES
P. 381
MOBILITY
P. 387
PARALLEL COMPOSITION REVISITED
P. 389
BIBLIOGRAPHICAL REMARKS
P. 391
SEMANTICS
P. 393
BISIMILARITY AND TRACE SEMANTICS
P. 393
FAILURES AND READINESS SEMANTICS
P. 397
THE LINEAR TIME - BRANCHING TIME LATTICE
P. 401
PARTIAL-ORDER SEMANTICS
P. 407
BIBLIOGRAPHICAL REMARKS
P. 410
BIBLIOGRAPHY
P. 411
INDEX OF SYMBOLS AND NOTATIONS
P. 421
INDEX OF AUTHORS
P. 435
INDEX OF SUBJECTS
P. 439
TABLE OF CONTENTS PROVIDED BY BLACKWELL S BOOK SERVICES AND R.R. BOWKER.
USED WITH PERMISSION.
|
| any_adam_object | 1 |
| author | Baeten, Josephus C. M. Basten, Twan 1969- Reniers, M. A. 1970- |
| author_GND | (DE-588)142931535 (DE-588)142930911 |
| author_facet | Baeten, Josephus C. M. Basten, Twan 1969- Reniers, M. A. 1970- |
| author_role | aut aut aut |
| author_sort | Baeten, Josephus C. M. |
| author_variant | j c m b jcm jcmb t b tb m a r ma mar |
| building | Verbundindex |
| bvnumber | BV036802127 |
| classification_rvk | ST 130 |
| ctrlnum | (OCoLC)706013423 (DE-599)GBV606479163 |
| discipline | Informatik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01824nam a2200433 cb4500</leader><controlfield tag="001">BV036802127</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110504 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">101129s2010 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521820493</subfield><subfield code="c">(hbk.) £50.00</subfield><subfield code="9">978-0-521-82049-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521820499</subfield><subfield code="c">(hbk.) £50.00</subfield><subfield code="9">0-521-82049-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)706013423</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV606479163</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-706</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="100" ind1="1" ind2=" "><subfield code="a">Baeten, Josephus C. M.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Process algebra</subfield><subfield code="b">equational theories of communicating processes</subfield><subfield code="c">J. C. M. Baeten ; T. Basten ; M. A. Reniers</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 460 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">Cambridge tracts in theoretical computer science</subfield><subfield code="v">50</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 411 - 420</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prozessalgebra</subfield><subfield code="0">(DE-588)4283920-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prozess</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4235427-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Prozessalgebra</subfield><subfield code="0">(DE-588)4283920-8</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">Prozess</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4235427-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Basten, Twan</subfield><subfield code="d">1969-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)142931535</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Reniers, M. A.</subfield><subfield code="d">1970-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)142930911</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">50</subfield><subfield code="w">(DE-604)BV000754528</subfield><subfield code="9">50</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=020718281&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020718281</subfield></datafield></record></collection> |
| id | DE-604.BV036802127 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:48:33Z |
| institution | BVB |
| isbn | 9780521820493 0521820499 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020718281 |
| oclc_num | 706013423 |
| open_access_boolean | |
| owner | DE-703 DE-706 |
| owner_facet | DE-703 DE-706 |
| physical | XVI, 460 S. graph. Darst. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| series | Cambridge tracts in theoretical computer science |
| series2 | Cambridge tracts in theoretical computer science |
| spelling | Baeten, Josephus C. M. Verfasser aut Process algebra equational theories of communicating processes J. C. M. Baeten ; T. Basten ; M. A. Reniers 1. publ. Cambridge [u.a.] Cambridge Univ. Press 2010 XVI, 460 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Cambridge tracts in theoretical computer science 50 Literaturverz. S. 411 - 420 Prozessalgebra (DE-588)4283920-8 gnd rswk-swf Prozess Informatik (DE-588)4235427-4 gnd rswk-swf Prozessalgebra (DE-588)4283920-8 s DE-604 Prozess Informatik (DE-588)4235427-4 s Basten, Twan 1969- Verfasser (DE-588)142931535 aut Reniers, M. A. 1970- Verfasser (DE-588)142930911 aut Cambridge tracts in theoretical computer science 50 (DE-604)BV000754528 50 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020718281&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Baeten, Josephus C. M. Basten, Twan 1969- Reniers, M. A. 1970- Process algebra equational theories of communicating processes Cambridge tracts in theoretical computer science Prozessalgebra (DE-588)4283920-8 gnd Prozess Informatik (DE-588)4235427-4 gnd |
| subject_GND | (DE-588)4283920-8 (DE-588)4235427-4 |
| title | Process algebra equational theories of communicating processes |
| title_auth | Process algebra equational theories of communicating processes |
| title_exact_search | Process algebra equational theories of communicating processes |
| title_full | Process algebra equational theories of communicating processes J. C. M. Baeten ; T. Basten ; M. A. Reniers |
| title_fullStr | Process algebra equational theories of communicating processes J. C. M. Baeten ; T. Basten ; M. A. Reniers |
| title_full_unstemmed | Process algebra equational theories of communicating processes J. C. M. Baeten ; T. Basten ; M. A. Reniers |
| title_short | Process algebra |
| title_sort | process algebra equational theories of communicating processes |
| title_sub | equational theories of communicating processes |
| topic | Prozessalgebra (DE-588)4283920-8 gnd Prozess Informatik (DE-588)4235427-4 gnd |
| topic_facet | Prozessalgebra Prozess Informatik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020718281&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000754528 |
| work_keys_str_mv | AT baetenjosephuscm processalgebraequationaltheoriesofcommunicatingprocesses AT bastentwan processalgebraequationaltheoriesofcommunicatingprocesses AT reniersma processalgebraequationaltheoriesofcommunicatingprocesses |