Introduction to Bisimulation and Coinduction / (Record no. 38150)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 02316nam a22003617a 4500 |
001 - CONTROL NUMBER | |
control field | sulb-eb0016712 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | BD-SySUS |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20160405140619.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 100513s2011||||enk o ||1 0|eng|d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9780511777110 (ebook) |
Canceled/invalid ISBN | 9781107003637 (hardback) |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | UkCbUP |
Language of cataloging | eng |
Description conventions | rda |
Transcribing agency | UkCbUP |
Modifying agency | BD-SySUS. |
050 00 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | QA76.9.A96 |
Item number | S366 2012 |
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 004.01/5113 |
Edition number | 23 |
100 1# - MAIN ENTRY--PERSONAL NAME | |
Personal name | Sangiorgi, Davide, |
Relator term | author. |
245 10 - TITLE STATEMENT | |
Title | Introduction to Bisimulation and Coinduction / |
Statement of responsibility, etc. | Davide Sangiorgi. |
246 3# - VARYING FORM OF TITLE | |
Title proper/short title | Introduction to Bisimulation & Coinduction |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
Place of production, publication, distribution, manufacture | Cambridge : |
Name of producer, publisher, distributor, manufacturer | Cambridge University Press, |
Date of production, publication, distribution, manufacture, or copyright notice | 2011. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | 1 online resource (260 pages) : |
Other physical details | digital, PDF file(s). |
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 |
500 ## - GENERAL NOTE | |
General note | Title from publisher's bibliographic system (viewed on 04 Apr 2016). |
520 ## - SUMMARY, ETC. | |
Summary, etc. | Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such it brings in quite different tools. Today, it is widely used in computer science, but also in other fields, including artificial intelligence, cognitive science, mathematics, modal logics, philosophy and physics. The best known instance of coinduction is bisimulation, mainly employed to define and prove equalities among potentially infinite objects: processes, streams, non-well-founded sets, etc. This book presents bisimulation and coinduction: the fundamental concepts and techniques and the duality with induction. Each chapter contains exercises and selected solutions, enabling students to connect theory with practice. A special emphasis is placed on bisimulation as a behavioural equivalence for processes. Thus the book serves as an introduction to models for expressing processes (such as process calculi) and to the associated techniques of operational and algebraic analysis. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Bisimulation |
Topical term or geographic name as entry element | Coinduction (Mathematics) |
Topical term or geographic name as entry element | Modality (Logic) |
Topical term or geographic name as entry element | Induction (Mathematics) |
Topical term or geographic name as entry element | Computer science |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Relationship information | Print version: |
International Standard Book Number | 9781107003637 |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | <a href="http://dx.doi.org/10.1017/CBO9780511777110">http://dx.doi.org/10.1017/CBO9780511777110</a> |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Source of classification or shelving scheme | |
Koha item type |
No items available.