Borrow it
 Architecture Library
 Bizzell Memorial Library
 Boorstin Collection
 Chinese Literature Translation Archive
 Engineering Library
 Fine Arts Library
 Harry W. Bass Business History Collection
 History of Science Collections
 John and Mary Nichols Rare Books and Special Collections
 Library Service Center
 Price College Digital Library
 Western History Collections
The Resource Logic for Concurrency and Synchronisation, edited by Ruy J. G. B. de Queiroz, (electronic resource)
Logic for Concurrency and Synchronisation, edited by Ruy J. G. B. de Queiroz, (electronic resource)
Resource Information
The item Logic for Concurrency and Synchronisation, edited by Ruy J. G. B. de Queiroz, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Oklahoma Libraries.This item is available to borrow from all library branches.
Resource Information
The item Logic for Concurrency and Synchronisation, edited by Ruy J. G. B. de Queiroz, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Oklahoma Libraries.
This item is available to borrow from all library branches.
 Summary
 The study of informationbased actions and processes has been a vibrant  terface between logic and computer science for several decades now. Indeed, several natural perspectives come together here. On the one hand, logical s tems may be used to describe the dynamics of arbitrary computational p cesses – as in the many sophisticated process logics available today. But also, key logical notions such as model checking or proof search are themselves informational processes involving agents with goals. The interplay between these descriptive and dynamic aspects shows even in our ordinary language. A word like “proof” hdenotes both a static ‘certificate’ of truth, and an activity which humans or machines engage in. Increasing our understanding of l ics of this sort tells us something about computer science, and about cognitive actions in general. The individual chapters of this book show the state of the art in current  vestigations of process calculi such as linear logic, and – with mainly two major paradigms at work, namely, linear logic and modal logic. These techniques are applied to the title themes of concurrency and synchronisation, but there are also many repercussions for topics such as the geometry of proofs, categorial semantics, and logics of graphs. Viewed  gether, the chapters also offer exciting glimpses of future integration, as the reader moves back and forth through the book
 Language
 eng
 Extent
 1 online resource (XXI, 285 p.)
 Contents

 Geometry of Deduction Via Graphs of Proofs
 Chu’s Construction: A ProofTheoretic Approach
 Two Paradigms of Logical Computation in Affine Logic?
 Proof Systems for ?Calculus Logics
 A Tutorial Introduction to Symbolic Model Checking
 Modal Logics for Finite Graphs
 Bisimulation and Language Equivalence
 Isbn
 9780306480881
 Label
 Logic for Concurrency and Synchronisation
 Title
 Logic for Concurrency and Synchronisation
 Statement of responsibility
 edited by Ruy J. G. B. de Queiroz
 Language
 eng
 Summary
 The study of informationbased actions and processes has been a vibrant  terface between logic and computer science for several decades now. Indeed, several natural perspectives come together here. On the one hand, logical s tems may be used to describe the dynamics of arbitrary computational p cesses – as in the many sophisticated process logics available today. But also, key logical notions such as model checking or proof search are themselves informational processes involving agents with goals. The interplay between these descriptive and dynamic aspects shows even in our ordinary language. A word like “proof” hdenotes both a static ‘certificate’ of truth, and an activity which humans or machines engage in. Increasing our understanding of l ics of this sort tells us something about computer science, and about cognitive actions in general. The individual chapters of this book show the state of the art in current  vestigations of process calculi such as linear logic, and – with mainly two major paradigms at work, namely, linear logic and modal logic. These techniques are applied to the title themes of concurrency and synchronisation, but there are also many repercussions for topics such as the geometry of proofs, categorial semantics, and logics of graphs. Viewed  gether, the chapters also offer exciting glimpses of future integration, as the reader moves back and forth through the book
 Dewey number
 511.3
 Image bit depth
 0
 LC call number
 QA8.910.3
 Literary form
 non fiction
 http://library.link/vocab/relatedWorkOrContributorName

 Queiroz, Ruy J. G. B. de.
 SpringerLink (Online service)
 Series statement
 Trends in Logic, Studia Logica Library
 Series volume
 15
 http://library.link/vocab/subjectName

 Mathematics
 Logic
 Architecture, Computer
 Computers
 Mathematical logic
 Mathematics
 Mathematical Logic and Foundations
 Computer System Implementation
 Theory of Computation
 Logic
 Label
 Logic for Concurrency and Synchronisation, edited by Ruy J. G. B. de Queiroz, (electronic resource)
 Antecedent source
 mixed
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 not applicable
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Contents
 Geometry of Deduction Via Graphs of Proofs  Chu’s Construction: A ProofTheoretic Approach  Two Paradigms of Logical Computation in Affine Logic?  Proof Systems for ?Calculus Logics  A Tutorial Introduction to Symbolic Model Checking  Modal Logics for Finite Graphs  Bisimulation and Language Equivalence
 Dimensions
 unknown
 Extent
 1 online resource (XXI, 285 p.)
 File format
 multiple file formats
 Form of item
 electronic
 Isbn
 9780306480881
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Other control number
 10.1007/0306480883
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number

 (CKB)1000000000024357
 (DEHe213)9780306480881
 (EXLCZ)991000000000024357
 Label
 Logic for Concurrency and Synchronisation, edited by Ruy J. G. B. de Queiroz, (electronic resource)
 Antecedent source
 mixed
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 not applicable
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Contents
 Geometry of Deduction Via Graphs of Proofs  Chu’s Construction: A ProofTheoretic Approach  Two Paradigms of Logical Computation in Affine Logic?  Proof Systems for ?Calculus Logics  A Tutorial Introduction to Symbolic Model Checking  Modal Logics for Finite Graphs  Bisimulation and Language Equivalence
 Dimensions
 unknown
 Extent
 1 online resource (XXI, 285 p.)
 File format
 multiple file formats
 Form of item
 electronic
 Isbn
 9780306480881
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Other control number
 10.1007/0306480883
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number

 (CKB)1000000000024357
 (DEHe213)9780306480881
 (EXLCZ)991000000000024357
Library Locations

Architecture LibraryBorrow itGould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US35.205706 97.445050



Chinese Literature Translation ArchiveBorrow it401 W. Brooks St., RM 414, Norman, OK, 73019, US35.207487 97.447906

Engineering LibraryBorrow itFelgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US35.205706 97.445050

Fine Arts LibraryBorrow itCatlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US35.210371 97.448244

Harry W. Bass Business History CollectionBorrow it401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US35.207487 97.447906

History of Science CollectionsBorrow it401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US35.207487 97.447906

John and Mary Nichols Rare Books and Special CollectionsBorrow it401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US35.207487 97.447906


Price College Digital LibraryBorrow itAdams Hall 102 307 West Brooks St., Norman, OK, 73019, US35.210371 97.448244

Western History CollectionsBorrow itMonnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US35.209584 97.445414
Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.libraries.ou.edu/portal/LogicforConcurrencyandSynchronisationedited/i2frmAp000Q/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/portal/LogicforConcurrencyandSynchronisationedited/i2frmAp000Q/">Logic for Concurrency and Synchronisation, edited by Ruy J. G. B. de Queiroz, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Logic for Concurrency and Synchronisation, edited by Ruy J. G. B. de Queiroz, (electronic resource)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.libraries.ou.edu/portal/LogicforConcurrencyandSynchronisationedited/i2frmAp000Q/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/portal/LogicforConcurrencyandSynchronisationedited/i2frmAp000Q/">Logic for Concurrency and Synchronisation, edited by Ruy J. G. B. de Queiroz, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>