The Resource CONCUR '92 : Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992 : proceedings, W.R. Cleaveland, ed
CONCUR '92 : Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992 : proceedings, W.R. Cleaveland, ed
Resource Information
The item CONCUR '92 : Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992 : proceedings, W.R. Cleaveland, ed represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item CONCUR '92 : Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992 : proceedings, W.R. Cleaveland, ed represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 1 library branch.
- Summary
- "This book contains a selection of research papers describing recent advancesin the theory of concurrent systems and their applications. The papers were all presented at the CONCUR '92 conference, which has emerged as the premiere conference on formal aspects of concurrency. The authors include such prominent researchers as R. Milner, A. Pnueli, N. Lynch, and V.R. Pratt. The results represent advances in the mathematical understanding of the behavior of concurrent systems: topics covered include process algebras, models of true concurrency, compositional verification techniques, temporal logic, verification case studies, models of probabilistic and real-time systems, models of systems with dynamic structure, and algorithms and decidability results for system analysis. A key feature of CONCUR is its breadth: in one volume it presents a snapshot of the state of the art in concurrency theory. Assuch, it is indispensible to researchers - and would-be researchers - in theformal analysis of concurrent systems."--PUBLISHER'S WEBSITE
- Language
- eng
- Extent
- 1 online resource (580 pages)
- Isbn
- 9783540472933
- Label
- CONCUR '92 : Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992 : proceedings
- Title
- CONCUR '92
- Title remainder
- Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992 : proceedings
- Statement of responsibility
- W.R. Cleaveland, ed
- Subject
-
- Conference papers and proceedings
- Conference papers and proceedings
- Logica E Semantica De Programacao
- Parallel processing (Electronic computers)
- Parallel processing (Electronic computers)
- Parallel processing (Electronic computers) -- Congresses
- Parallel processing (Electronic computers) | Congresses
- Parallélisme (informatique) -- Congrès
- Concurrente programmering
- Language
- eng
- Summary
- "This book contains a selection of research papers describing recent advancesin the theory of concurrent systems and their applications. The papers were all presented at the CONCUR '92 conference, which has emerged as the premiere conference on formal aspects of concurrency. The authors include such prominent researchers as R. Milner, A. Pnueli, N. Lynch, and V.R. Pratt. The results represent advances in the mathematical understanding of the behavior of concurrent systems: topics covered include process algebras, models of true concurrency, compositional verification techniques, temporal logic, verification case studies, models of probabilistic and real-time systems, models of systems with dynamic structure, and algorithms and decidability results for system analysis. A key feature of CONCUR is its breadth: in one volume it presents a snapshot of the state of the art in concurrency theory. Assuch, it is indispensible to researchers - and would-be researchers - in theformal analysis of concurrent systems."--PUBLISHER'S WEBSITE
- Action
- digitized
- Cataloging source
- OCLCE
- Dewey number
- 004/.35
- Illustrations
- illustrations
- Index
- index present
- LC call number
- QA76.58
- LC item number
- .I53 1992
- Literary form
- non fiction
- http://bibfra.me/vocab/lite/meetingDate
- 1992
- http://bibfra.me/vocab/lite/meetingName
- International Conference on Concurrency Theory
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorDate
- 1961-
- http://library.link/vocab/relatedWorkOrContributorName
- Cleaveland, W. R.
- Series statement
- Lecture notes in computer science
- Series volume
- 630
- http://library.link/vocab/subjectName
-
- Parallel processing (Electronic computers)
- Parallel processing (Electronic computers)
- Concurrente programmering
- Logica E Semantica De Programacao
- Parallélisme (informatique)
- Label
- CONCUR '92 : Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992 : proceedings, W.R. Cleaveland, ed
- Antecedent source
- file reproduced from original
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- black and white
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Control code
- 822889092
- Dimensions
- unknown
- Extent
- 1 online resource (580 pages)
- Form of item
- online
- Isbn
- 9783540472933
- Level of compression
-
- lossless
- lossy
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other physical details
- illustrations.
- Reformatting quality
-
- preservation
- access
- Reproduction note
- Electronic reproduction.
- Specific material designation
- remote
- System control number
- (OCoLC)822889092
- System details
- Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
- Label
- CONCUR '92 : Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992 : proceedings, W.R. Cleaveland, ed
- Antecedent source
- file reproduced from original
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- black and white
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Control code
- 822889092
- Dimensions
- unknown
- Extent
- 1 online resource (580 pages)
- Form of item
- online
- Isbn
- 9783540472933
- Level of compression
-
- lossless
- lossy
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other physical details
- illustrations.
- Reformatting quality
-
- preservation
- access
- Reproduction note
- Electronic reproduction.
- Specific material designation
- remote
- System control number
- (OCoLC)822889092
- System details
- Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Subject
- Conference papers and proceedings
- Conference papers and proceedings
- Logica E Semantica De Programacao
- Parallel processing (Electronic computers)
- Parallel processing (Electronic computers)
- Parallel processing (Electronic computers) -- Congresses
- Parallel processing (Electronic computers) | Congresses
- Parallélisme (informatique) -- Congrès
- Concurrente programmering
Genre
Member of
Library Links
Embed
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 fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/CONCUR-92--Third-International-Conference-on/CLxeh5mnCb0/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/CONCUR-92--Third-International-Conference-on/CLxeh5mnCb0/">CONCUR '92 : Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992 : proceedings, W.R. Cleaveland, ed</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri 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 CONCUR '92 : Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992 : proceedings, W.R. Cleaveland, ed
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/CONCUR-92--Third-International-Conference-on/CLxeh5mnCb0/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/CONCUR-92--Third-International-Conference-on/CLxeh5mnCb0/">CONCUR '92 : Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992 : proceedings, W.R. Cleaveland, ed</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
