MARC details
| 000 -LEADER |
|---|
| fixed length control field |
06021cam a2200865 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
on1244535767 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250707093817.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 cnu---unuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
210402s2021 sz ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
YDX |
| Language of cataloging |
eng |
| Description conventions |
rda |
| -- |
pn |
| Transcribing agency |
YDX |
| Modifying agency |
YDX |
| -- |
OCLCO |
| -- |
GW5XE |
| -- |
OCLCO |
| -- |
EBLCP |
| -- |
OCLCF |
| -- |
LEATE |
| -- |
VT2 |
| -- |
LIP |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
YWS |
| -- |
OCLCO |
| -- |
N$T |
| 019 ## - |
|---|
| -- |
1249944282 |
| -- |
1253408363 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783030719951 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3030719952 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783030719968 |
| Qualifying information |
(print) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3030719960 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3030719944 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783030719944 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-030-71995-1 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000068925581 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000069108596 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)1244535767 |
| Canceled/invalid control number |
(OCoLC)1249944282 |
| -- |
(OCoLC)1253408363 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.751 |
| Item number |
.F67 2021 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYA |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
MAT018000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYA |
| Source |
thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1 |
| Edition number |
23 |
| 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 |
(24th : |
| Date of meeting |
2021 : |
| Location of meeting |
Online) |
| 9 (RLIN) |
914677 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Foundations of software science and computation structures : |
| Remainder of title |
24th international conference, FOSSACS 2021 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021, proceedings / |
| Statement of responsibility, etc. |
Stefan Kiefer, Christine Tasson (eds.). |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cham, Switzerland : |
| Name of producer, publisher, distributor, manufacturer |
Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
[2021] |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource |
| 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. ; |
| Volume/sequential designation |
12650 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Advanced research in computing and software science |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary. SL1 - Theoretical computer science and general issues |
| 506 0# - RESTRICTIONS ON ACCESS NOTE |
|---|
| Terms governing access |
Open access |
| Institution to which field applies |
GW5XE |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Constructing a universe for the setoid model -- Nominal Equational Problems -- Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy -- Fixpoint Theory - Upside Down -- "Most of"' leads to undecidability: Failure of adding frequencies to LTL -- Combining Semilattices and Semimodules -- One-way Resynchronizability of Word Transducers -- Fair Refinement for Asynchronous Session Types -- Running Time Analysis of Broadcast Consensus Protocols -- Leafy automata for higher-order concurrency -- Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic -- Generalized Bounded Linear Logic and its Categorical Semantics -- Focused Proof-search in the Logic of Bunched Implications -- Interpolation and Amalgamation for Arrays with MaxDi -- Adjoint Reactive GUI Programming -- On the Expressiveness of Büchi Arithmetic -- Parametricity for Primitive Nested Types -- The Spirit of Node Replication -- Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages -- Certifying Inexpressibility -- A General Semantic Construction of Dependent Re nement Type Systems, Categorically -- Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP -- Nondeterministic Syntactic Complexity -- A String Diagrammatic Axiomatisation of Finite-State Automata -- Work-sensitive Dynamic Complexity of Formal Languages -- Learning Pomset Automata -- The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford -- A Quantified Coalgebraic van Benthem Theorem. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and author index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Online resource; title from digital title page (viewed on April 12, 2021). |
| 506 0# - RESTRICTIONS ON ACCESS NOTE |
|---|
| Terms governing access |
Open Access |
| Institution to which field applies |
EbpS |
| 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 |
Software engineering |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15264 |
| 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 |
Génie logiciel |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
18168 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science. |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
941 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Artificial intelligence. |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
1340 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Databases. |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
6664 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer programming / software development. |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
57015 |
| 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 |
Software engineering |
| Source of heading or term |
fast |
| 9 (RLIN) |
14736 |
| 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 |
Kiefer, Stefan, |
| Relator term |
editor. |
| 9 (RLIN) |
914678 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Tasson, Christine, |
| Relator term |
editor. |
| 9 (RLIN) |
914679 |
| 711 2# - ADDED ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
ETAPS (Conference) |
| Number of part/section/meeting |
(24th : |
| Date of meeting |
2021 : |
| Location of meeting |
Online) |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
FOSSACS (Conference) (24th : 2021 : Online). |
| Title |
Foundations of software science and computation structures. |
| Place, publisher, and date of publication |
Cham, Switzerland : Springer, [2021] |
| International Standard Book Number |
3030719944 |
| -- |
9783030719944 |
| Record control number |
(OCoLC)1237861307 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
12650. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science. |
| Name of part/section of a work |
Advanced research in computing and software science. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
LNCS sublibrary. |
| Number of part/section of a work |
SL 1, |
| Name of part/section of a work |
Theoretical computer science and general issues. |
| 9 (RLIN) |
20736 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-030-71995-1">https://link.springer.com/10.1007/978-3-030-71995-1</a> |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL6524970 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
17316882 |
| 938 ## - |
|---|
| -- |
EBSCOhost |
| -- |
EBSC |
| -- |
3735147 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |