Modal and temporal properties of processes:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York [u.a.]
Springer
2001
|
| Series: | Texts in computer science
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XII, 190 S. |
| ISBN: | 0387987177 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV013366265 | ||
| 003 | DE-604 | ||
| 005 | 20090831 | ||
| 007 | t | ||
| 008 | 000929s2001 |||| 00||| eng d | ||
| 016 | 7 | |a 962324922 |2 DE-101 | |
| 020 | |a 0387987177 |9 0-387-98717-7 | ||
| 035 | |a (OCoLC)45499972 | ||
| 035 | |a (DE-599)BVBBV013366265 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-473 |a DE-824 |a DE-739 |a DE-19 |a DE-91G |a DE-634 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.9.L63 | |
| 082 | 0 | |a 004/.35 |2 21 | |
| 084 | |a ST 125 |0 (DE-625)143586: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a DAT 510f |2 stub | ||
| 100 | 1 | |a Stirling, Colin |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Modal and temporal properties of processes |c Colin Stirling |
| 264 | 1 | |a New York [u.a.] |b Springer |c 2001 | |
| 300 | |a XII, 190 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Texts in computer science | |
| 650 | 7 | |a Bedrijfsprocessen |2 gtt | |
| 650 | 4 | |a Logique informatique | |
| 650 | 4 | |a Parallélisme (Informatique) | |
| 650 | 7 | |a Simulatiemodellen |2 gtt | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Parallel processing (Electronic computers) | |
| 650 | 0 | 7 | |a Temporale Logik |0 (DE-588)4137542-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prozessalgebra |0 (DE-588)4283920-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modallogik |0 (DE-588)4074914-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a My-Kalkül |0 (DE-588)4530731-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Bisimulation |0 (DE-588)4619739-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
| 689 | 0 | 1 | |a Prozessalgebra |0 (DE-588)4283920-8 |D s |
| 689 | 0 | 2 | |a Bisimulation |0 (DE-588)4619739-4 |D s |
| 689 | 0 | 3 | |a Modallogik |0 (DE-588)4074914-9 |D s |
| 689 | 0 | 4 | |a My-Kalkül |0 (DE-588)4530731-3 |D s |
| 689 | 0 | 5 | |a Temporale Logik |0 (DE-588)4137542-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009117381&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009117381 | ||
Record in the Search Index
| _version_ | 1804128144638083072 |
|---|---|
| adam_text | COLIN STIRLING MODAL AND TEMPORAL PROPERTIES OF PROCESSES WITH 45
ILLUSTRATIONS SPRINGER CONTENTS PREFACE VII LIST OF FIGURES XI 1
PROCESSES 1 1.1 FIRST EXAMPLES 1 1.2 CONCURRENT INTERACTION 8 1.3
OBSERVABLE TRANSITIONS 17 1.4 RENAMING AND LINKING 21 1.5 MORE
COMBINATIONS OF PROCESSES 25 1.6 SETS OF PROCESSES 28 2 MODALITIES AND
CAPABILITIES 31 2.1 HENNESSY-MILNER LOGIC I 32 2.2 HENNESSY-MILNER LOGIC
II 36 2.3 ALGEBRAIC STRUCTURE AND MODAL PROPERTIES 39 2.4 OBSERVABLE
MODAL LOGIC 42 2.5 OBSERVABLE NECESSITY AND DIVERGENCE 47 3
BISIMULATIONS 51 3.1 PROCESS EQUIVALENCES 51 3.2 INTERACTIVE GAMES 56
3.3 BISIMULATION RELATIONS 64 3.4 MODAL PROPERTIES AND EQUIVALENCES 69
3.5 OBSERVABLE BISIMULATIONS 72 3.6 EQUIVALENCE CHECKING 77 CONTENTS 4
TEMPORAL PROPERTIES 83 4.1 MODAL PROPERTIES REVISITED 83 4.2 PROCESSES
AND THEIR RUNS 85 4.3 THE TEMPORAL LOGIC CTL 89 4.4 MODAL FORMULAS WITH
VARIABLES 91 4.5 MODAL EQUATIONS AND FIXED POINTS 95 4.6 DUALITY 100 5
MODAL MU-CALCULUS 103 5.1 MODAL LOGIC WITH FIXED POINTS 104 5.2 MACROS
AND NORMAL FORMULAS 107 5.3 OBSERVABLE MODAL LOGIC WITH FIXED POINTS 110
5.4 PRESERVATION OF BISIMULATION EQUIVALENCE 112 5.5 APPROXIMANTS 115
5.6 EMBEDDED APPROXIMANTS 121 5.7 EXPRESSING PROPERTIES 128 6 VERIFYING
TEMPORAL PROPERTIES 133 6.1 TECHNIQUES FOR VERIFICATION 133 6.2 PROPERTY
CHECKING GAMES 135 6.3 CORRECTNESS OF GAMES 144 6.4 CTL GAMES 147 6.5
PARITY GAMES 151 6.6 DECIDING PARITY GAMES 156 7 EXPOSING STRUCTURE 163
7.1 INFINITE STATE SYSTEMS 164 7.2 GENERALISING SATISFACTION 165 7.3
TABLEAUX I 168 7.4 TABLEAUX II 173 REFERENCES 183 INDEX 187
|
| any_adam_object | 1 |
| author | Stirling, Colin |
| author_facet | Stirling, Colin |
| author_role | aut |
| author_sort | Stirling, Colin |
| author_variant | c s cs |
| building | Verbundindex |
| bvnumber | BV013366265 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.L63 |
| callnumber-search | QA76.9.L63 |
| callnumber-sort | QA 276.9 L63 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 125 ST 130 |
| classification_tum | DAT 510f |
| ctrlnum | (OCoLC)45499972 (DE-599)BVBBV013366265 |
| dewey-full | 004/.35 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.35 |
| dewey-search | 004/.35 |
| dewey-sort | 14 235 |
| 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>02236nam a2200577 c 4500</leader><controlfield tag="001">BV013366265</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090831 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">000929s2001 |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">962324922</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387987177</subfield><subfield code="9">0-387-98717-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)45499972</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013366265</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.L63</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.35</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 125</subfield><subfield code="0">(DE-625)143586:</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">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Stirling, Colin</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modal and temporal properties of processes</subfield><subfield code="c">Colin Stirling</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 190 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="0" ind2=" "><subfield code="a">Texts in computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Bedrijfsprocessen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique informatique</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">Simulatiemodellen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</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">Temporale Logik</subfield><subfield code="0">(DE-588)4137542-7</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="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">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">My-Kalkül</subfield><subfield code="0">(DE-588)4530731-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Bisimulation</subfield><subfield code="0">(DE-588)4619739-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="1"><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="2"><subfield code="a">Bisimulation</subfield><subfield code="0">(DE-588)4619739-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">My-Kalkül</subfield><subfield code="0">(DE-588)4530731-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Temporale Logik</subfield><subfield code="0">(DE-588)4137542-7</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">HEBIS Datenaustausch Darmstadt</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=009117381&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-009117381</subfield></datafield></record></collection> |
| id | DE-604.BV013366265 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:44:35Z |
| institution | BVB |
| isbn | 0387987177 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009117381 |
| oclc_num | 45499972 |
| open_access_boolean | |
| owner | DE-384 DE-473 DE-BY-UBG DE-824 DE-739 DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-634 DE-83 DE-11 |
| owner_facet | DE-384 DE-473 DE-BY-UBG DE-824 DE-739 DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-634 DE-83 DE-11 |
| physical | XII, 190 S. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer |
| record_format | marc |
| series2 | Texts in computer science |
| spelling | Stirling, Colin Verfasser aut Modal and temporal properties of processes Colin Stirling New York [u.a.] Springer 2001 XII, 190 S. txt rdacontent n rdamedia nc rdacarrier Texts in computer science Bedrijfsprocessen gtt Logique informatique Parallélisme (Informatique) Simulatiemodellen gtt Computer logic Parallel processing (Electronic computers) Temporale Logik (DE-588)4137542-7 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf Prozessalgebra (DE-588)4283920-8 gnd rswk-swf Modallogik (DE-588)4074914-9 gnd rswk-swf My-Kalkül (DE-588)4530731-3 gnd rswk-swf Bisimulation (DE-588)4619739-4 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 s Prozessalgebra (DE-588)4283920-8 s Bisimulation (DE-588)4619739-4 s Modallogik (DE-588)4074914-9 s My-Kalkül (DE-588)4530731-3 s Temporale Logik (DE-588)4137542-7 s DE-604 HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009117381&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Stirling, Colin Modal and temporal properties of processes Bedrijfsprocessen gtt Logique informatique Parallélisme (Informatique) Simulatiemodellen gtt Computer logic Parallel processing (Electronic computers) Temporale Logik (DE-588)4137542-7 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Prozessalgebra (DE-588)4283920-8 gnd Modallogik (DE-588)4074914-9 gnd My-Kalkül (DE-588)4530731-3 gnd Bisimulation (DE-588)4619739-4 gnd |
| subject_GND | (DE-588)4137542-7 (DE-588)4115352-2 (DE-588)4283920-8 (DE-588)4074914-9 (DE-588)4530731-3 (DE-588)4619739-4 |
| title | Modal and temporal properties of processes |
| title_auth | Modal and temporal properties of processes |
| title_exact_search | Modal and temporal properties of processes |
| title_full | Modal and temporal properties of processes Colin Stirling |
| title_fullStr | Modal and temporal properties of processes Colin Stirling |
| title_full_unstemmed | Modal and temporal properties of processes Colin Stirling |
| title_short | Modal and temporal properties of processes |
| title_sort | modal and temporal properties of processes |
| topic | Bedrijfsprocessen gtt Logique informatique Parallélisme (Informatique) Simulatiemodellen gtt Computer logic Parallel processing (Electronic computers) Temporale Logik (DE-588)4137542-7 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Prozessalgebra (DE-588)4283920-8 gnd Modallogik (DE-588)4074914-9 gnd My-Kalkül (DE-588)4530731-3 gnd Bisimulation (DE-588)4619739-4 gnd |
| topic_facet | Bedrijfsprocessen Logique informatique Parallélisme (Informatique) Simulatiemodellen Computer logic Parallel processing (Electronic computers) Temporale Logik Nebenläufigkeit Prozessalgebra Modallogik My-Kalkül Bisimulation |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009117381&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT stirlingcolin modalandtemporalpropertiesofprocesses |