Advanced topics in bisimulation and coinduction:
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge [u.a.]
Cambridge Univ. Press
2012
|
| Edition: | 1. publ. |
| Series: | Cambridge tracts in theoretical computer science
52 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XIII, 326 S. graph. Darst. |
| ISBN: | 9781107004979 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV039842839 | ||
| 003 | DE-604 | ||
| 005 | 20120315 | ||
| 007 | t | ||
| 008 | 120126s2012 d||| |||| 00||| eng d | ||
| 020 | |a 9781107004979 |c (cased) £60.00 |9 978-1-107-00497-9 | ||
| 035 | |a (OCoLC)727702062 | ||
| 035 | |a (DE-599)OBVAC08820448 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-384 |a DE-706 |a DE-29T | ||
| 082 | 0 | |a 003.3 |2 22 | |
| 084 | |a ST 125 |0 (DE-625)143586: |2 rvk | ||
| 245 | 1 | 0 | |a Advanced topics in bisimulation and coinduction |c ed. by Davide Sangiorgi ... |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge Univ. Press |c 2012 | |
| 300 | |a XIII, 326 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 52 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Induktion |0 (DE-588)4026765-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Bisimulation |0 (DE-588)4619739-4 |2 gnd |9 rswk-swf |
| 653 | |a Computer simulation | ||
| 653 | |a Computer science Philosophy | ||
| 689 | 0 | 0 | |a Bisimulation |0 (DE-588)4619739-4 |D s |
| 689 | 0 | 1 | |a Induktion |0 (DE-588)4026765-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Sangiorgi, Davide |4 edt | |
| 830 | 0 | |a Cambridge tracts in theoretical computer science |v 52 |w (DE-604)BV000754528 |9 52 | |
| 856 | 4 | 2 | |m Digitalisierung UB Bamberg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024702716&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-024702716 | ||
Record in the Search Index
| _version_ | 1804148775305871360 |
|---|---|
| adam_text | Contents
List of contributors page
viii
Preface
xi
Origins of bisimulation and coinduction
1
Davide
Sangiorgi
1.1
Introduction
1
1.2
Bisimulation in modal logic
3
1.3
Bisimulation in computer science
7
1.4
Set theory
15
1.5
The introduction of fixed points in computer science
26
1.6
Fixed-point theorems
29
Bibliography
31
An introduction to (co)algebra and (conduction
38
Bart Jacobs and
Jan Rutten
2.1
Introduction
38
2.2
Algebraic and coalgebraic phenomena
42
2.3
Inductive and coinductive definitions
47
2.4
Functoriality of products, coproducts and powersets
50
2.5
Algebras and induction
53
2.6
Coalgebras
and coinduction
66
2.7
Proofs by coinduction and bisimulation
76
2.8
Processes coalgebraically
79
2.9
Trace semantics, coalgebraically
87
2.10
Exercises
90
Bibliography
94
vi
Contents
The algorithmics of bisimilarity
100
Luca Aceto,
Anna Ingolfsdottir and
Jiří Srba
3.1
Introduction
100
3.2
Classical algorithms for bisimilarity
102
3.3
The complexity of checking bisimilarity
over finite processes
122
3.4
Decidability results for bisimilarity over
infinite-state systems
142
3.5
The use of bisimilarity checking in verification and tools
157
Bibliography
163
Bisimulation and logic
173
Colin Stirling
4.1
Introduction
173
4.2
Modal logic and bisimilarity
175
4.3
Bisimulation
invariance
179
4.4
Modal mu-calculus
184
4.5
Monadic second-order logic and bisimulation
invariance
190
Bibliography
195
Howe s method for higher-order languages
197
Andrew Pitts
5.1
Introduction
197
5.2
Call-by-value
λ
-calculus
200
5.3
Applicative (bi)similarity for call-by-value
λ
-calculus
201
5.4
Congruence
204
5.5
Howe s construction
207
5.6
Contextual equivalence
210
5.7
The transitive closure trick
214
5.8
ClU-equivalence
218
5.9
Call-by-name equivalences
225
5.10
Summary
229
5.11
Assessment
229
Bibliography
230
Enhancements of the bisimulation proof method
233
Damien
Paus
and
Davide
Sangiorgi
6.1
The need for enhancements
235
6.2
Examples of enhancements
239
6.3
A theory of enhancements
249
6.4
Congruence and up to context techniques
260
Contents
vii
6.5
The case of weak
bisimilarity 269
6.6
A summary of up-to techniques for bisimulation
286
Bibliography
287
Probabilistic bisimulation
290
Prakash Panangaden
7.1
Introduction
290
7.2
Discrete systems
295
7.3
A rapid survey of measure theory
300
7.4
Labelled Markov processes
306
7.5
Giry s monad
308
7.6
Probabilistic bisimulation
310
7.7
Logical characterisation
313
7.8
Probabilistic cocongruences
316
7.9
Kozen s coinduction principle
319
7.10
Conclusions
321
Bibliography
323
|
| any_adam_object | 1 |
| author2 | Sangiorgi, Davide |
| author2_role | edt |
| author2_variant | d s ds |
| author_facet | Sangiorgi, Davide |
| building | Verbundindex |
| bvnumber | BV039842839 |
| classification_rvk | ST 125 |
| ctrlnum | (OCoLC)727702062 (DE-599)OBVAC08820448 |
| dewey-full | 003.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 003 - Systems |
| dewey-raw | 003.3 |
| dewey-search | 003.3 |
| dewey-sort | 13.3 |
| dewey-tens | 000 - Computer science, information, general works |
| 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>01649nam a2200421zcb4500</leader><controlfield tag="001">BV039842839</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120315 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">120126s2012 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107004979</subfield><subfield code="c">(cased) £60.00</subfield><subfield code="9">978-1-107-00497-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)727702062</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)OBVAC08820448</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-473</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-29T</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">003.3</subfield><subfield code="2">22</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="245" ind1="1" ind2="0"><subfield code="a">Advanced topics in bisimulation and coinduction</subfield><subfield code="c">ed. by Davide Sangiorgi ...</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">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 326 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">52</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Induktion</subfield><subfield code="0">(DE-588)4026765-9</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="653" ind1=" " ind2=" "><subfield code="a">Computer simulation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Computer science Philosophy</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="1"><subfield code="a">Induktion</subfield><subfield code="0">(DE-588)4026765-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sangiorgi, Davide</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">52</subfield><subfield code="w">(DE-604)BV000754528</subfield><subfield code="9">52</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bamberg</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=024702716&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-024702716</subfield></datafield></record></collection> |
| id | DE-604.BV039842839 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T00:12:29Z |
| institution | BVB |
| isbn | 9781107004979 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024702716 |
| oclc_num | 727702062 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-384 DE-706 DE-29T |
| owner_facet | DE-473 DE-BY-UBG DE-384 DE-706 DE-29T |
| physical | XIII, 326 S. graph. Darst. |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| series | Cambridge tracts in theoretical computer science |
| series2 | Cambridge tracts in theoretical computer science |
| spelling | Advanced topics in bisimulation and coinduction ed. by Davide Sangiorgi ... 1. publ. Cambridge [u.a.] Cambridge Univ. Press 2012 XIII, 326 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Cambridge tracts in theoretical computer science 52 Literaturangaben Induktion (DE-588)4026765-9 gnd rswk-swf Bisimulation (DE-588)4619739-4 gnd rswk-swf Computer simulation Computer science Philosophy Bisimulation (DE-588)4619739-4 s Induktion (DE-588)4026765-9 s DE-604 Sangiorgi, Davide edt Cambridge tracts in theoretical computer science 52 (DE-604)BV000754528 52 Digitalisierung UB Bamberg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024702716&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Advanced topics in bisimulation and coinduction Cambridge tracts in theoretical computer science Induktion (DE-588)4026765-9 gnd Bisimulation (DE-588)4619739-4 gnd |
| subject_GND | (DE-588)4026765-9 (DE-588)4619739-4 |
| title | Advanced topics in bisimulation and coinduction |
| title_auth | Advanced topics in bisimulation and coinduction |
| title_exact_search | Advanced topics in bisimulation and coinduction |
| title_full | Advanced topics in bisimulation and coinduction ed. by Davide Sangiorgi ... |
| title_fullStr | Advanced topics in bisimulation and coinduction ed. by Davide Sangiorgi ... |
| title_full_unstemmed | Advanced topics in bisimulation and coinduction ed. by Davide Sangiorgi ... |
| title_short | Advanced topics in bisimulation and coinduction |
| title_sort | advanced topics in bisimulation and coinduction |
| topic | Induktion (DE-588)4026765-9 gnd Bisimulation (DE-588)4619739-4 gnd |
| topic_facet | Induktion Bisimulation |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024702716&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000754528 |
| work_keys_str_mv | AT sangiorgidavide advancedtopicsinbisimulationandcoinduction |