MARC details
| 000 -LEADER |
|---|
| fixed length control field |
05128cam a2200709 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn679359120 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703160259.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 bn||||||abp |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr bn||||||ada |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
101107s1995 gw a ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
OCLCE |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
OCLCE |
| Modifying agency |
OCLCQ |
| -- |
I9W |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
CUSER |
| -- |
OCLCF |
| -- |
OCLCQ |
| -- |
KIJ |
| -- |
GW5XE |
| -- |
ITD |
| -- |
OCLCO |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
UAB |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
OL$ |
| -- |
OCLCQ |
| -- |
EUX |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| 019 ## - |
|---|
| -- |
326710713 |
| -- |
827359933 |
| -- |
1001494967 |
| -- |
1085939095 |
| -- |
1102531453 |
| -- |
1238302847 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540447382 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540447385 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3540602186 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540602187 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000058012789 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
14993787 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15301832 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000068767099 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000078472361 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)679359120 |
| Canceled/invalid control number |
(OCoLC)326710713 |
| -- |
(OCoLC)827359933 |
| -- |
(OCoLC)1001494967 |
| -- |
(OCoLC)1085939095 |
| -- |
(OCoLC)1102531453 |
| -- |
(OCoLC)1238302847 |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
dlr |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.58 |
| Item number |
I53 1995 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004/.35 |
| Edition number |
20 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.51 |
| Number source |
bcl |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
PA 25 |
| Number source |
blsrissc |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
International Conference on Concurrency Theory |
| Number of part/section/meeting |
(6th : |
| Date of meeting |
1995 : |
| Location of meeting |
Philadelphia, Pa.) |
| 9 (RLIN) |
40659 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
CONCUR '95 : |
| Remainder of title |
concurrency theory : 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995 : proceedings / |
| Statement of responsibility, etc. |
Insup Lee, Scott A. Smolka, eds. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
©1995. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (x, 545 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 |
962 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Local Model Checking Games / C. Stirling -- Compositional Proof Systems for Model Checking Infinite State Processes / M. Dam -- Compositional Model Checking of Real Time Systems / F. Laroussinie and K.G. Larsen -- Checking Bisimilarity for Finitary [pi]-Calculus / U. Montanari and M. Pistore -- The Weak Late [pi]-Calculus Semantics as Observation Equivalence / G.-L. Ferrari, U. Montanari and P. Quaglia -- The Fixpoint-Analysis Machine / B. Steffen, A. Classen, M. Klein, J. Knoop and T. Margaria -- Unique Fixpoint Induction for Mobile Processes / H. Lin -- A Polymorphic Type System for the Polyadic [pi]-Calculus / X. Liu and D. Walker -- Fibrational Control Structures / C. Hermida and J. Power -- Fully Abstract Models for Nondeterministic Regular Expressions / F. Corradini, R. De Nicola and A. Labella -- A Petri Net Semantics for [pi]-Calculus / N. Busi and R. Gorrieri -- A Complete Theory of Deterministic Event Structures / A. Rensink. |
| 506 ## - RESTRICTIONS ON ACCESS NOTE |
|---|
| Materials specified |
Use copy |
| Standardized terminology for access restriction |
Restrictions unspecified |
| Source of term |
star |
| Institution to which field applies |
MiAaHDL |
| 533 ## - REPRODUCTION NOTE |
|---|
| Type of reproduction |
Electronic reproduction. |
| Place of reproduction |
[Place of publication not identified] : |
| Agency responsible for reproduction |
HathiTrust Digital Library, |
| Date of reproduction |
2010. |
| Institution to which field applies |
MiAaHDL |
| 538 ## - SYSTEM DETAILS NOTE |
|---|
| System details note |
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. |
| Uniform Resource Identifier |
<a href="http://purl.oclc.org/DLF/benchrepro0212">http://purl.oclc.org/DLF/benchrepro0212</a> |
| Institution to which field applies |
MiAaHDL |
| 583 1# - ACTION NOTE |
|---|
| Action |
digitized |
| Time/date of action |
2010 |
| Jurisdiction |
HathiTrust Digital Library |
| Status |
committed to preserve |
| Source of term |
pda |
| Institution to which field applies |
MiAaHDL |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995. The volume presents seven invited contributions by outstanding researchers and 33 refereed full research papers selected by the program committee out of a total of 91 submissions. The collection of articles gives a representative overview on what happened in this area of research, since the last CONCUR conference took place. There are sections on model checking, mobile processes, process theory, true concurrency, process algebra, probabilistic automata, real-time systems, testing semantics, decidability results, refinement theory, and linear-time logics. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Parallel processing (Electronic computers) |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
12958 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Parallélisme (Informatique) |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
12959 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Parallel processing (Electronic computers) |
| Source of heading or term |
fast |
| 9 (RLIN) |
12960 |
| 650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programmatuurtechniek. |
| Source of heading or term |
gtt |
| 650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Concurrente programmering. |
| Source of heading or term |
gtt |
| 9 (RLIN) |
20836 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Parallélisme (informatique) |
| Source of heading or term |
ram |
| 9 (RLIN) |
18914 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique. |
| Source of heading or term |
ram |
| 9 (RLIN) |
14930 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Lee, Insup. |
| 9 (RLIN) |
17796 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Smolka, Scott A. |
| 9 (RLIN) |
40661 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
CONCUR '95 (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCGV93h7H3jxfQ3tpqjbYpq |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
International Conference on Concurrency Theory (6th : 1995 : Philadelphia, Pa.). |
| Title |
CONCUR '95. |
| Place, publisher, and date of publication |
Berlin ; New York : Springer, ©1995 |
| Record control number |
(OCoLC)33184190 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
962. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/3-540-60218-6">https://link.springer.com/10.1007/3-540-60218-6</a> |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |