rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Foundations of Software Science and Computation Structures
    sub title: 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
  name:
    name part: Baier, Christel
    role:
      role term: editor.
  name:
    name part: Dal Lago, Ugo
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: gw
    date issued: 2018
    issuance: monographic
  language:
    language term: eng
  physical description:
    reformatting quality: access
    form: remote
    extent: 1 online resource (XV, 583 pages 75 illustrations)
  abstract: This book is Open Access under a CC BY licence.
  table of 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.
  note: edited by Christel Baier, Ugo Dal Lago.
  note: Electronic resource.
  note: Open Access
  subject:
    topic: Computer Science
  subject:
    topic: Artificial Intelligence (incl. Robotics)
  subject:
    topic: Discrete Mathematics in Computer Science
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Software Engineering/Programming and Operating Systems
  subject:
    topic: System Performance and Evaluation
  subject:
    topic: The Computing Profession
  subject:
    topic: Artificial intelligence
  subject:
    topic: Computer logic
  subject:
    topic: Computer science
    topic: Mathematics
  subject:
    topic: Computer science
  subject:
    topic: Computer system failures
  subject:
    topic: Computers
  subject:
    topic: Software engineering
  classification: QA76.5913
  classification: QA76.63
  classification: QA76.9.L63
  classification: 005.1015113
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture notes in computer science. 10803
  identifier: 9783319893662
  identifier: https://dx.doi.org/10.1007/978-3-319-89366-2
  access condition: Open Access
  record info:
    record creation date: 180414
    record change date: 20210728135925.0
    record identifier: in00003992893