MARC details
| 000 -LEADER |
|---|
| fixed length control field |
07237cam a22009734a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocm58748039 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703143238.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 |n||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
040302s2004 gw a ob 101 0 eng c |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
COO |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
COO |
| Modifying agency |
N$T |
| -- |
YDXCP |
| -- |
QCL |
| -- |
CAI |
| -- |
IDEBK |
| -- |
OCLCQ |
| -- |
YNG |
| -- |
OCLCQ |
| -- |
DKDLA |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCA |
| -- |
UKMGB |
| -- |
OCLCA |
| -- |
GW5XE |
| -- |
OCLCF |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
UA@ |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
SHS |
| -- |
OCLCO |
| -- |
BUF |
| -- |
OCLCA |
| -- |
AU@ |
| -- |
TFW |
| -- |
QE2 |
| -- |
LEAUB |
| -- |
OL$ |
| -- |
OCLCQ |
| -- |
OCL |
| -- |
OCLCA |
| -- |
EUX |
| -- |
OCLCQ |
| -- |
UKAHL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
WSU |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCA |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
|---|
| National bibliography number |
GBA474271 |
| Source |
bnb |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
006669279 |
| Source |
Uk |
| 019 ## - |
|---|
| -- |
149460266 |
| -- |
166469755 |
| -- |
276944841 |
| -- |
648147736 |
| -- |
666945978 |
| -- |
768063164 |
| -- |
1084837218 |
| -- |
1114524831 |
| -- |
1167548860 |
| -- |
1238300035 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540247270 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540247272 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3540212981 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540212980 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/b95995 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000051325688 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000058159568 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
14969727 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15296750 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DKDLA |
| System control number |
820120-katalog:999906067605765 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)58748039 |
| Canceled/invalid control number |
(OCoLC)149460266 |
| -- |
(OCoLC)166469755 |
| -- |
(OCoLC)276944841 |
| -- |
(OCoLC)648147736 |
| -- |
(OCoLC)666945978 |
| -- |
(OCoLC)768063164 |
| -- |
(OCoLC)1084837218 |
| -- |
(OCoLC)1114524831 |
| -- |
(OCoLC)1167548860 |
| -- |
(OCoLC)1238300035 |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
pcc |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.751 |
| Item number |
.F67 2004 |
| 055 #3 - CLASSIFICATION NUMBERS ASSIGNED IN CANADA |
|---|
| Classification number |
QA75 |
| Item number |
.L38 no.2987 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
REF |
| Subject category code subdivision |
000000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UM |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYF |
| Source |
bicssc |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005 |
| Edition number |
22 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
SS 4800 |
| Number source |
rvk |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
DAT 500f |
| Number source |
stub |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
FOSSACS (Conference) |
| Number of part/section/meeting |
(7th : |
| Date of meeting |
2004 : |
| Location of meeting |
Barcelona, Spain) |
| 9 (RLIN) |
19322 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Foundations of software science and computation structures : |
| Remainder of title |
7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / |
| Statement of responsibility, etc. |
Igor Walukiewicz (ed.). |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
2004. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xiii, 528 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 |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| Encoding format |
PDF |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
2987 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the refereed proceedings of the 7th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2004, held in Barcelona, Spain in March/April 2004. The 34 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected from over 130 submissions. Among the topics addressed are lambda calculus, cryptographic protocol analysis, graphs and grammar systems, decision theory, bisimulation, rewriting, normalization, specification, verification, process calculi, mobile code, automata, program semantics, dynamic logics, timed languages, security analysis, information-theoretical aspects. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Invited Contributions -- Intruder Theories (Ongoing Work) -- Theories for the Global Ubiquitous Computer -- Contributed Papers -- Choice in Dynamic Linking -- Soft lambda-Calculus: A Language for Polynomial Time Computation -- On the Existence of an Effective and Complete Inference System for Cryptographic Protocols -- Hypergraphs and Degrees of Parallelism: A Completeness Result -- Behavioral and Spatial Observations in a Logic for the?-Calculus -- Election and Local Computations on Edges -- Decidability of Freshness, Undecidability of Revelation -- LTL over Integer Periodicity Constraints -- Unifying Recursive and Co-recursive Definitions in Sheaf Categories -- Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting -- A Denotational Account of Untyped Normalization by Evaluation -- On Finite Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds -- Specifying and Verifying Partial Order Properties Using Template MSCs -- Angelic Semantics of Fine-Grained Concurrency -- On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi -- safeDpi: A Language for Controlling Mobile Code -- Distance Desert Automata and the Star Height One Problem -- Adhesive Categories -- A Game Semantics of Local Names and Good Variables -- Partial Correctness Assertions Provable in Dynamic Logics -- Polynomials for Proving Termination of Context-Sensitive Rewriting -- Bisimulation on Speed: Lower Time Bounds -- On Recognizable Timed Languages -- Tree Transducers and Tree Compressions -- On Term Rewriting Systems Having a Rational Derivation -- Duality for Labelled Markov Processes -- Electoral Systems in Ambient Calculi -- Strong Normalization of -Calculus with Explicit Substitutions -- Canonical Models for Computational Effects -- Reasoning about Dynamic Policies -- Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols -- Strong Bisimulation for the Explicit Fusion Calculus -- Perfect-Information Stochastic Parity Games -- A Note on the Perfect Encryption Assumption in a Process Calculus. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15269 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
System analysis |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15270 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logiciels |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
19223 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Analyse de systèmes |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
921540 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
REFERENCE |
| General subdivision |
General. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
19324 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| Source of heading or term |
fast |
| 9 (RLIN) |
15271 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
System analysis |
| Source of heading or term |
fast |
| 9 (RLIN) |
1477 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programmierung |
| Source of heading or term |
gnd |
| 9 (RLIN) |
5173 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software Engineering |
| Source of heading or term |
gnd |
| 9 (RLIN) |
14736 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Theoretische Informatik |
| Source of heading or term |
gnd |
| 9 (RLIN) |
1040 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logiciel. |
| Source of heading or term |
rasuqam |
| 9 (RLIN) |
19325 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Analyse de système. |
| Source of heading or term |
rasuqam |
| 9 (RLIN) |
19326 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Développement de logiciels. |
| Source of heading or term |
rasuqam |
| 9 (RLIN) |
19327 |
| 651 #7 - SUBJECT ADDED ENTRY--GEOGRAPHIC NAME |
|---|
| Geographic name |
Barcelona (2004) |
| Source of heading or term |
swd |
| 9 (RLIN) |
19328 |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
FOSSACS |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
software science |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computation structures |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
ETAPS |
| 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 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Kongress. |
| Source of term |
swd |
| 9 (RLIN) |
2843 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Walukiewicz, Igor. |
| 9 (RLIN) |
19329 |
| 711 2# - ADDED ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
ETAPS (Conference) |
| Date of meeting |
(2004 : |
| Location of meeting |
Barcelona, Spain) |
| 9 (RLIN) |
18005 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Foundations of software science and computation structures (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCXKKwGD49J6PYv6tWMMPjP |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
FOSSACS 2004 (2004 : Barcelona, Spain). |
| Title |
Foundations of software science and computation structures. |
| Place, publisher, and date of publication |
Berlin ; New York : Springer, 2004 |
| International Standard Book Number |
3540212981 |
| Record control number |
(DLC) 2004046614 |
| -- |
(OCoLC)54611093 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
2987. |
| International Standard Serial Number |
0302-9743 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/b95995">https://link.springer.com/10.1007/b95995</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH20749925 |
| 938 ## - |
|---|
| -- |
EBSCOhost |
| -- |
EBSC |
| -- |
128419 |
| 938 ## - |
|---|
| -- |
ProQuest MyiLibrary Digital eBook Collection |
| -- |
IDEB |
| -- |
30713 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
2362098 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |