1 option
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 / edited by Christel Baier, Ugo Dal Lago.
- Format:
- Book
- Series:
- Computer Science (SpringerNature-11645)
- LNCS sublibrary. Theoretical computer science and general issues 2512-2029 ; SL 1, 10803
- Theoretical Computer Science and General Issues, 2512-2029 ; 10803
- Language:
- English
- Subjects (All):
- Computer science.
- Software engineering.
- Artificial intelligence.
- Electronic digital computers-Evaluation.
- Computers.
- Professions.
- Computer science-Mathematics.
- Discrete mathematics.
- Computer Science Logic and Foundations of Programming.
- Software Engineering.
- Artificial Intelligence.
- System Performance and Evaluation.
- The Computing Profession.
- Discrete Mathematics in Computer Science.
- Local Subjects:
- Computer Science Logic and Foundations of Programming.
- Software Engineering.
- Artificial Intelligence.
- System Performance and Evaluation.
- The Computing Profession.
- Discrete Mathematics in Computer Science.
- Physical Description:
- 1 online resource (XV, 583 pages) : 75 illustrations
- Edition:
- 1st ed. 2018.
- Contained In:
- Springer Nature eBook
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2018.
- System Details:
- text file PDF
- Summary:
- This book is Open Access under a CC BY licence.
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-319-89366-2
- 9783319893662
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.