Coverart for item
The Resource Foundations of software science and computation structures : 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings, Christel Baier, Ugo Dal Lago (eds.)

Foundations of software science and computation structures : 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings, Christel Baier, Ugo Dal Lago (eds.)

Label
Foundations of software science and computation structures : 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings
Title
Foundations of software science and computation structures
Title remainder
21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings
Statement of responsibility
Christel Baier, Ugo Dal Lago (eds.)
Title variation
  • FOSSACS 2018
  • ETAPS 2018
Creator
Contributor
Editor
Subject
Genre
Language
eng
Summary
This book is Open Access under a CC BY licence
Member of
Cataloging source
GW5XE
Dewey number
005.1
Illustrations
illustrations
Index
index present
LC call number
QA76.751
LC item number
.F67 2018eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2018
http://bibfra.me/vocab/lite/meetingName
FOSSACS (Conference)
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorDate
2018
http://library.link/vocab/relatedWorkOrContributorName
  • Baier, Christel
  • Dal Lago, Ugo
  • ETAPS (Conference)
Series statement
  • Lecture notes in computer science,
  • Advanced research in computing and software science
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
10803
http://library.link/vocab/subjectName
  • Computer software
  • Software engineering
  • Software Engineering
  • Artificial intelligence
  • Systems analysis & design
  • Information technology: general issues
  • Discrete mathematics
  • Computer programming
  • Computers
  • Computers
  • Computers
  • Computers
  • Computers
  • Computers
  • Computer software
  • Software engineering
Label
Foundations of software science and computation structures : 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings, Christel Baier, Ugo Dal Lago (eds.)
Instantiates
Publication
Note
  • International conference proceedings
  • Includes author index
Antecedent source
unknown
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata
Control code
1031399785
Dimensions
unknown
Extent
1 online resource (xv, 583 pages)
File format
unknown
Form of item
online
Isbn
9783319893662
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-319-89366-2
Other physical details
illustrations
http://library.link/vocab/ext/overdrive/overdriveId
com.springer.onix.9783319893662
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)1031399785
Label
Foundations of software science and computation structures : 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings, Christel Baier, Ugo Dal Lago (eds.)
Publication
Note
  • International conference proceedings
  • Includes author index
Antecedent source
unknown
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata
Control code
1031399785
Dimensions
unknown
Extent
1 online resource (xv, 583 pages)
File format
unknown
Form of item
online
Isbn
9783319893662
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-319-89366-2
Other physical details
illustrations
http://library.link/vocab/ext/overdrive/overdriveId
com.springer.onix.9783319893662
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)1031399785

Library Locations

  • Health Sciences LibraryBorrow it
    2411 Holmes St, Kansas City, Kansas City, MO, 64108, US
    39.083418 -94.575323
  • LaBudde Special CollectionsBorrow it
    800 E 51st St, Kansas City, MO, 64110, US
    39.034642 -94.576835
  • Leon E. Bloch Law LibraryBorrow it
    500 E. 52nd Street, Kansas City, MO, 64110, US
    39.032488 -94.581967
  • Marr Sound ArchivesBorrow it
    800 E 51st St, Kansas City, MO, 64110, US
    39.034642 -94.576835
  • Miller Nichols LibraryBorrow it
    800 E 51st St, Kansas City, MO, 64110, US
    39.035061 -94.576518
  • UMKCBorrow it
    800 E 51st St, Kansas City, MO, 64110, US
    39.035061 -94.576518
  • UMKCBorrow it
    800 E 51st St, Kansas City, MO, 64110, US
Processing Feedback ...