Comparative concurrency semantics and refinement of actions:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
CWI
1996
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam>: CWI Tract
109 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 285 S. graph. Darst. |
| ISBN: | 9061964547 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011679568 | ||
| 003 | DE-604 | ||
| 005 | 19990319 | ||
| 007 | t | ||
| 008 | 971210s1996 d||| |||| 00||| eng d | ||
| 020 | |a 9061964547 |9 90-6196-454-7 | ||
| 035 | |a (OCoLC)34780285 | ||
| 035 | |a (DE-599)BVBBV011679568 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G |a DE-188 | ||
| 050 | 0 | |a QA267.3 | |
| 082 | 0 | |a 511.3 |2 19 | |
| 084 | |a ST 140 |0 (DE-625)143592: |2 rvk | ||
| 100 | 1 | |a Glabbeek, Rob van |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Comparative concurrency semantics and refinement of actions |c R. J. H. van Glabbeek |
| 264 | 1 | |a Amsterdam |b CWI |c 1996 | |
| 300 | |a 285 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Centrum voor Wiskunde en Informatica <Amsterdam>: CWI Tract |v 109 | |
| 650 | 7 | |a Computersystemen |2 gtt | |
| 650 | 7 | |a Dataprocessing |2 gtt | |
| 650 | 4 | |a Langages formels | |
| 650 | 7 | |a Parallelle verwerking |2 gtt | |
| 650 | 7 | |a Semantiek |2 gtt | |
| 650 | 4 | |a Semantik | |
| 650 | 4 | |a Formal languages |x Semantics | |
| 830 | 0 | |a Centrum voor Wiskunde en Informatica <Amsterdam>: CWI Tract |v 109 |w (DE-604)BV001902011 |9 109 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007874029&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007874029 | ||
Record in the Search Index
| _version_ | 1804126215148142592 |
|---|---|
| adam_text | Contents
Introduction 5
1. The linear time branching time spectrum 17
1. Semantic equivalences on labelled transition systems 22
2. The semantic lattice 38
3. Complete axiomatizations 50
2. Modular specifications in process algebra with curious queues 55
1. Module logic 61
2. Process algebra 66
3. Applications of the module approach in process algebra 80
4. Queues 89
5. A protocol verification 102
Appendix: Logics 111
3. Branching time and abstraction in bisimulation semantics 117
1. Branching and abstraction 120
2. Axioms 130
3. Branches and traces 143
4. Completeness proofs 149
5. Correspondence 158
6. Refinement 159
7. Divergence 163
8. Modal characterizations 164
4. Refinement of actions in causality based models 173
1. Refinement of actions in prime event structures 181
2. Refinement of actions in flow event structures 186
3. Configuration structures and refinement of actions 193
4. Refinement of transitions in Petri nets 197
5. Partial order semantics for refinement of actions neither necessary
nor always sufficient but appropriate when used with care 213
6. Equivalence notions for concurrent systems and refinement of actions 223
1. Interleaving semantics 225
2. Step semantics 227
3. Linear time partial order semantics 230
4. Branching time partial order semantics 231
7. The refinement theorem for ST bisimulation semantics 243
1. Concurrent systems and refinement of actions 247
2. The behaviour of concurrent systems I 249
3. Equivalence notions for concurrent systems I 250
4. The behaviour of concurrent systems II 255
5. Equivalence notions for concurrent systems II 257
6. The refinement theorems 265
References 273
|
| any_adam_object | 1 |
| author | Glabbeek, Rob van |
| author_facet | Glabbeek, Rob van |
| author_role | aut |
| author_sort | Glabbeek, Rob van |
| author_variant | r v g rv rvg |
| building | Verbundindex |
| bvnumber | BV011679568 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267.3 |
| callnumber-search | QA267.3 |
| callnumber-sort | QA 3267.3 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 140 |
| ctrlnum | (OCoLC)34780285 (DE-599)BVBBV011679568 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01519nam a2200409 cb4500</leader><controlfield tag="001">BV011679568</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19990319 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">971210s1996 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9061964547</subfield><subfield code="9">90-6196-454-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)34780285</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011679568</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-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267.3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">19</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="100" ind1="1" ind2=" "><subfield code="a">Glabbeek, Rob van</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Comparative concurrency semantics and refinement of actions</subfield><subfield code="c">R. J. H. van Glabbeek</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">CWI</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">285 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">Centrum voor Wiskunde en Informatica <Amsterdam>: CWI Tract</subfield><subfield code="v">109</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computersystemen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Dataprocessing</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages formels</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Parallelle verwerking</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Semantiek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal languages</subfield><subfield code="x">Semantics</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Centrum voor Wiskunde en Informatica <Amsterdam>: CWI Tract</subfield><subfield code="v">109</subfield><subfield code="w">(DE-604)BV001902011</subfield><subfield code="9">109</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=007874029&sequence=000002&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-007874029</subfield></datafield></record></collection> |
| id | DE-604.BV011679568 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:13:54Z |
| institution | BVB |
| isbn | 9061964547 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007874029 |
| oclc_num | 34780285 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-188 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-188 |
| physical | 285 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | CWI |
| record_format | marc |
| series | Centrum voor Wiskunde en Informatica <Amsterdam>: CWI Tract |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam>: CWI Tract |
| spelling | Glabbeek, Rob van Verfasser aut Comparative concurrency semantics and refinement of actions R. J. H. van Glabbeek Amsterdam CWI 1996 285 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam>: CWI Tract 109 Computersystemen gtt Dataprocessing gtt Langages formels Parallelle verwerking gtt Semantiek gtt Semantik Formal languages Semantics Centrum voor Wiskunde en Informatica <Amsterdam>: CWI Tract 109 (DE-604)BV001902011 109 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007874029&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Glabbeek, Rob van Comparative concurrency semantics and refinement of actions Centrum voor Wiskunde en Informatica <Amsterdam>: CWI Tract Computersystemen gtt Dataprocessing gtt Langages formels Parallelle verwerking gtt Semantiek gtt Semantik Formal languages Semantics |
| title | Comparative concurrency semantics and refinement of actions |
| title_auth | Comparative concurrency semantics and refinement of actions |
| title_exact_search | Comparative concurrency semantics and refinement of actions |
| title_full | Comparative concurrency semantics and refinement of actions R. J. H. van Glabbeek |
| title_fullStr | Comparative concurrency semantics and refinement of actions R. J. H. van Glabbeek |
| title_full_unstemmed | Comparative concurrency semantics and refinement of actions R. J. H. van Glabbeek |
| title_short | Comparative concurrency semantics and refinement of actions |
| title_sort | comparative concurrency semantics and refinement of actions |
| topic | Computersystemen gtt Dataprocessing gtt Langages formels Parallelle verwerking gtt Semantiek gtt Semantik Formal languages Semantics |
| topic_facet | Computersystemen Dataprocessing Langages formels Parallelle verwerking Semantiek Semantik Formal languages Semantics |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007874029&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV001902011 |
| work_keys_str_mv | AT glabbeekrobvan comparativeconcurrencysemanticsandrefinementofactions |