MARC details
| 000 -LEADER |
|---|
| fixed length control field |
08818cam a2200961Mu 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn763159247 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20240829143431.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr |n|---||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
111128s2011 enk ob 001 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
EBLCP |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
EBLCP |
| Modifying agency |
OCLCQ |
| -- |
IDEBK |
| -- |
CDX |
| -- |
COO |
| -- |
YDXCP |
| -- |
OCLCQ |
| -- |
AUD |
| -- |
OCLCO |
| -- |
OCLCF |
| -- |
DEBSZ |
| -- |
OCLCQ |
| -- |
UPM |
| -- |
OSU |
| -- |
N$T |
| -- |
E7B |
| -- |
UIU |
| -- |
CAMBR |
| -- |
OCLCQ |
| -- |
S3O |
| -- |
OCLCQ |
| -- |
LIP |
| -- |
OCLCQ |
| -- |
UUM |
| -- |
OCLCQ |
| -- |
OL$ |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCL |
| 066 ## - CHARACTER SETS PRESENT |
|---|
| Alternate G0 or G1 character set |
(S |
| 019 ## - |
|---|
| -- |
766418136 |
| -- |
773039053 |
| -- |
793601239 |
| -- |
990542880 |
| -- |
1014252299 |
| -- |
1167582958 |
| -- |
1264977236 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781139159340 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
1139159348 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781107004979 |
| Qualifying information |
(Cloth) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
1107004977 |
| Qualifying information |
(Cloth) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780511792588 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
0511792581 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781139161398 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
1139161393 |
| Qualifying information |
(electronic bk.) |
| 024 8# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
9786613342454 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
409003 |
| -- |
(N$T) |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)763159247 |
| Canceled/invalid control number |
(OCoLC)766418136 |
| -- |
(OCoLC)773039053 |
| -- |
(OCoLC)793601239 |
| -- |
(OCoLC)990542880 |
| -- |
(OCoLC)1014252299 |
| -- |
(OCoLC)1167582958 |
| -- |
(OCoLC)1264977236 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Stock number |
334245 |
| Source of stock number/acquisition |
MIL |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.9.A96 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM |
| Subject category code subdivision |
013000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM |
| Subject category code subdivision |
014000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM |
| Subject category code subdivision |
018000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM |
| Subject category code subdivision |
067000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM |
| Subject category code subdivision |
032000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM |
| Subject category code subdivision |
037000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM |
| Subject category code subdivision |
052000 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004.151 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
COM043000 |
| Number source |
bisacsh |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Sangiorgi, Davide. |
| 9 (RLIN) |
28289 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Advanced Topics in Bisimulation and Coinduction. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Cambridge : |
| Name of publisher, distributor, etc. |
Cambridge University Press, |
| Date of publication, distribution, etc. |
2011. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (342 pages) |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Cambridge Tracts in Theoretical Computer Science ; |
| Volume/sequential designation |
v. 52 |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Cover; Cambridge Tracts in Theoretical Computer Science 52; Title; Copyright; Contents; Contributors; Preface; 1 Origins of bisimulation and coinduction; 1.1 Introduction; 1.2 Bisimulation in modal logic; 1.2.1 Modal logics; 1.2.2 From homomorphism to p-morphism; 1.2.3 Johan van Benthem; 1.2.4 Discussion; 1.3 Bisimulation in computer science; 1.3.1 Algebraic theory of automata; 1.3.2 Robin Milner; 1.3.3 David Park; 1.3.4 Discussion; 1.4 Set theory; 1.4.1 Non-well-founded sets; 1.4.2 The stratified approach to set theory; 1.4.3 Non-well-founded sets and extensionality. |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
1.4.4 Marco Forti and Furio Honsell1.4.5 Peter Aczel; 1.4.6 Jon Barwise; 1.4.7 Extensionality quotients: Roland Hinnion and others; 1.4.8 Discussion; 1.5 The introduction of fixed points in computer science; 1.6 Fixed-point theorems; Bibliography; 2 An introduction to (co)algebra and (co)induction; 2.1 Introduction; 2.2 Algebraic and coalgebraic phenomena; 2.3 Inductive and coinductive definitions; 2.4 Functoriality of products, coproducts and powersets; 2.5 Algebras and induction; 2.6 Coalgebras and coinduction; 2.7 Proofs by coinduction and bisimulation; 2.8 Processes coalgebraically. |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
2.9 Trace semantics, coalgebraically2.10 Exercises; Bibliography; 3 The algorithmics of bisimilarity; 3.1 Introduction; 3.2 Classical algorithms for bisimilarity; 3.2.1 Preliminaries; 3.2.2 The algorithm of Kanellakis and Smolka; 3.2.3 The algorithm of Paige and Tarjan; 3.2.4 Computing bisimilarity, symbolically; 3.2.5 Checking weak equivalences; 3.3 The complexity of checking bisimilarityover finite processes; 3.3.1 Game characterisation of bisimulation-like relations; 3.3.2 Deciding bisimilarity over finite labelledtransition systems is P-complete. |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
3.3.3 EXPTIME-completeness of equivalence checking on networks of finite processes3.4 Decidability results for bisimilarity overinfinite-state systems; 3.4.1 Process rewrite systems; 3.4.2 Deciding bisimilarity on BPP using a tableau technique; 3.4.3 Undecidability of bisimilarity on Petri nets; 3.4.4 Overview of results; 3.5 The use of bisimilarity checking in verification and tools; 3.5.1 Some uses of bisimilarity checking; 3.5.2 Concluding remarks; Bibliography; 4 Bisimulation and logic; 4.1 Introduction; 4.2 Modal logic and bisimilarity; 4.3 Bisimulation invariance; 4.4 Modal mu-calculus. |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
4.5 Monadic second-order logic and bisimulation invarianceBibliography; 5 Howe's method for higher-order languages; 5.1 Introduction; 5.2 Call-by-value?-calculus; 5.3 Applicative (bi)similarity for call-by-value?-calculus; 5.4 Congruence; 5.5 Howe's construction; 5.6 Contextual equivalence; 5.7 The transitive closure trick; 5.8 CIU-equivalence; 5.9 Call-by-name equivalences; 5.10 Summary; 5.11 Assessment; Bibliography; 6 Enhancements of the bisimulation proof method; 6.1 The need for enhancements; 6.1.1 The bisimulation game; 6.1.2 Tracking redundancies; 6.2 Examples of enhancements. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
6.2.1 Diagram-based enhancements. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
Seven articles survey the state of the art. Discusses various aspects of the subject, with an emphasis on process theory. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 546 ## - LANGUAGE NOTE |
|---|
| Language note |
English. |
| 590 ## - LOCAL NOTE (RLIN) |
|---|
| Local note |
Added to collection customer.56279.3 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer simulation. |
| 9 (RLIN) |
2625 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science |
| General subdivision |
Philosophy. |
| 9 (RLIN) |
67295 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Digital computer simulation. |
| 9 (RLIN) |
16093 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Simulation par ordinateur. |
| 9 (RLIN) |
11506 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique |
| General subdivision |
Philosophie. |
| 9 (RLIN) |
279432 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
simulation. |
| Source of heading or term |
aat |
| 9 (RLIN) |
2395 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
COMPUTERS |
| General subdivision |
Networking |
| -- |
General. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
17954 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Digital computer simulation |
| Source of heading or term |
fast |
| 9 (RLIN) |
16093 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science |
| General subdivision |
Philosophy |
| Source of heading or term |
fast |
| 9 (RLIN) |
67295 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer simulation |
| Source of heading or term |
fast |
| 9 (RLIN) |
2625 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Rutten, Jan. |
| 9 (RLIN) |
51638 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Advanced topics in bisimulation and coinduction (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCGpH7PmMbpxXr8m6xGVbq3 |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
Sangiorgi, Davide. |
| Title |
Advanced Topics in Bisimulation and Coinduction. |
| Place, publisher, and date of publication |
Cambridge : Cambridge University Press, ©2011 |
| International Standard Book Number |
9781107004979 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Cambridge tracts in theoretical computer science. |
| 9 (RLIN) |
547057 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
EBSCOhost |
| Uniform Resource Identifier |
<a href="https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=409003">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=409003</a> |
| 880 8# - ALTERNATE GRAPHIC REPRESENTATION |
|---|
| Linkage |
505-00/(S |
| a |
3.3.3 EXPTIME-completeness of equivalence checking on networks of finite processes -- 3.4 Decidability results for bisimilarity overinfinite-state systems -- 3.4.1 Process rewrite systems -- 3.4.2 Deciding bisimilarity on BPP using a tableau technique -- 3.4.3 Undecidability of bisimilarity on Petri nets -- 3.4.4 Overview of results -- 3.5 The use of bisimilarity checking in verification and tools -- 3.5.1 Some uses of bisimilarity checking -- 3.5.2 Concluding remarks -- Bibliography -- 4 Bisimulation and logic -- 4.1 Introduction -- 4.2 Modal logic and bisimilarity -- 4.3 Bisimulation invariance -- 4.4 Modal mu-calculus -- 4.5 Monadic second-order logic and bisimulation invariance -- Bibliography -- 5 Howe's method for higher-order languages -- 5.1 Introduction -- 5.2 Call-by-value λ-calculus -- 5.3 Applicative (bi)similarity for call-by-value λ-calculus -- 5.4 Congruence -- 5.5 Howe's construction -- 5.6 Contextual equivalence -- 5.7 The transitive closure trick -- 5.8 CIU-equivalence -- 5.9 Call-by-name equivalences -- 5.10 Summary -- 5.11 Assessment -- Bibliography -- 6 Enhancements of the bisimulation proof method -- 6.1 The need for enhancements -- 6.1.1 The bisimulation game -- 6.1.2 Tracking redundancies -- 6.2 Examples of enhancements -- 6.2.1 Diagram-based enhancements -- 6.2.2 Context-based enhancements -- 6.2.3 Combining enhancements -- 6.2.4 Other examples of applications -- 6.2.4.1 Unique solutions of equations -- 6.2.4.2 Replication laws -- 6.2.5 What is a redundant pair-- 6.3 A theory of enhancements -- 6.3.1 Bisimulations and bisimilarity as coinductive objects -- 6.3.2 Enhancements as functions -- 6.3.3 Compositionality problems -- 6.3.4 Symmetry arguments -- 6.3.4.1 Symmetric functions -- 6.3.4.2 Symmetric up-to techniques -- 6.3.4.3 Non-symmetric up-to techniques -- 6.4 Congruence and up to context techniques -- 6.4.1 Contexts. |
| 938 ## - |
|---|
| -- |
Coutts Information Services |
| -- |
COUT |
| -- |
20191812 |
| -- |
60.00 GBP |
| 938 ## - |
|---|
| -- |
EBL - Ebook Library |
| -- |
EBLB |
| -- |
EBL807194 |
| 938 ## - |
|---|
| -- |
ebrary |
| -- |
EBRY |
| -- |
ebr10514215 |
| 938 ## - |
|---|
| -- |
EBSCOhost |
| -- |
EBSC |
| -- |
409003 |
| 938 ## - |
|---|
| -- |
ProQuest MyiLibrary Digital eBook Collection |
| -- |
IDEB |
| -- |
334245 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
7273230 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
7408077 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
7236171 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
7266408 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
N$T |