MARC details
| 000 -LEADER |
|---|
| fixed length control field |
05895cam a2200949 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn489215782 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703150929.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cn||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
091216s2009 gw a ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
OCLCQ |
| -- |
OCLCA |
| -- |
OCLCF |
| -- |
BEDGE |
| -- |
SLY |
| -- |
OCLCQ |
| -- |
OCL |
| -- |
OCLCQ |
| -- |
NAM |
| -- |
ESU |
| -- |
UAB |
| -- |
OCLCQ |
| -- |
U3W |
| -- |
OCLCQ |
| -- |
WURST |
| -- |
LQU |
| -- |
W2U |
| -- |
LUN |
| -- |
OCLCQ |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| 019 ## - |
|---|
| -- |
880316031 |
| -- |
904470424 |
| -- |
1086920106 |
| -- |
1167506447 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642044205 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642044204 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642044190 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642044199 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000048714186 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
13444138 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
13659247 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000047486962 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)489215782 |
| Canceled/invalid control number |
(OCoLC)880316031 |
| -- |
(OCoLC)904470424 |
| -- |
(OCoLC)1086920106 |
| -- |
(OCoLC)1167506447 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Stock number |
978-3-642-04419-9 |
| Source of stock number/acquisition |
Springer |
| Note |
http://www.springerlink.com |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.76.V47 |
| Item number |
R58 2009 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
003 |
| Edition number |
22 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
TP302-532 |
| Number source |
clc |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
RP (Workshop) |
| Number of part/section/meeting |
(3rd : |
| Date of meeting |
2009 : |
| Location of meeting |
Palaiseau, France) |
| 9 (RLIN) |
36261 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Reachability problems : |
| Remainder of title |
third international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings / |
| Statement of responsibility, etc. |
Olivier Bournez, Igor Potapov, (eds.). |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
RP 2009 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
2009. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (x, 232 pages) : |
| Other physical details |
illustrations |
| 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 |
Lecture notes in computer science ; |
| Volume/sequential designation |
5797 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems -- Formalisms for Specifying Markovian Population Models -- Reachability for Continuous and Hybrid Systems -- Algorithmic Information Theory and Foundations of Probability -- Model Checking as A Reachability Problem -- Automatic Verification of Directory-Based Consistency Protocols -- On Yens Path Logic for Petri Nets -- Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates -- How to Tackle Integer Weighted Automata Positivity -- A Reduction Theorem for the Verification of Round-Based Distributed Algorithms -- Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems -- An Undecidable Permutation of the Natural Numbers -- Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order -- Counting Multiplicity over Infinite Alphabets -- The Periodic Domino Problem Is Undecidable in the Hyperbolic Plane -- Games with Opacity Condition -- Abstract Counterexamples for Non-disjunctive Abstractions -- Cross-Checking -- Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems -- Games on Higher Order Multi-stack Pushdown Systems -- Limit Set Reachability in Asynchronous Graph Dynamical Systems. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the research papers presented at the 3rd International Workshop, RP 2009 held in Palaiseau, France, September 23-25, 2009. The 20 full papers of this workshop reflect reachability problems that appear in algebraic structures, computational models, hybrid systems and verification. Reachability is a fundamental problem in the context of many models and abstractions which are describing various computational processes. Topics of interest include reachability problems in infinite state systems, rewriting systems, dynamical and hybrid systems, reachability problems in logic and verification, reachability analysis in different computational models, counter, timed, cellular, communicating automata, Petri-Nets, computational aspects of algebraic structures and predictability in iterative maps and new computational paradigms. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer systems |
| General subdivision |
Verification |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
32389 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Decidability (Mathematical logic) |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
36262 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Configurations |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
36263 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Systèmes informatiques |
| General subdivision |
Vérification |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
967238 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Décidabilité (Logique mathématique) |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
967332 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Configurations |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
967333 |
| 650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Configurations. |
| Source of heading or term |
cct |
| 9 (RLIN) |
36264 |
| 650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer systems |
| General subdivision |
Verification. |
| Source of heading or term |
cct |
| 9 (RLIN) |
1929 |
| 650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Decidability (Mathematical logic) |
| Source of heading or term |
cct |
| 9 (RLIN) |
36265 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique. |
| Source of heading or term |
eclas |
| 9 (RLIN) |
14930 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer systems |
| General subdivision |
Verification |
| Source of heading or term |
fast |
| 9 (RLIN) |
1929 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Configurations |
| Source of heading or term |
fast |
| 9 (RLIN) |
36264 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Decidability (Mathematical logic) |
| Source of heading or term |
fast |
| 9 (RLIN) |
36265 |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
wiskunde |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
mathematics |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
algoritmen |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
algorithms |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computeranalyse |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computer analysis |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computertechnieken |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computer techniques |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computational science |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
logica |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
logic |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computerwetenschappen |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computer sciences |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computerwiskunde |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computational mathematics |
| 653 10 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Information and Communication Technology (General) |
| 653 10 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Informatie- en communicatietechnologie (algemeen) |
| 655 #2 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Congress |
| 9 (RLIN) |
11670 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
proceedings (reports) |
| Source of term |
aat |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Actes de congrès. |
| Source of term |
rvmgf |
| 9 (RLIN) |
609890 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Bournez, Olivier. |
| 9 (RLIN) |
36266 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Potapov, Igor. |
| 9 (RLIN) |
36267 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
RP 2009 (2009 : Palaiseau, France). |
| Title |
Reachability problems. |
| Place, publisher, and date of publication |
Berlin ; New York : Springer, 2009 |
| International Standard Book Number |
9783642044199 |
| -- |
3642044190 |
| Record control number |
(DLC) 2009934050 |
| -- |
(OCoLC)436030828 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
5797. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-642-04420-5">https://link.springer.com/10.1007/978-3-642-04420-5</a> |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |