This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.

Produktinformation

Utgivningsdatum2018-04-14
Mått155 x 235 x 33 mm
Vikt896 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor583
FörlagSpringer International Publishing AG
ISBN9783319893655

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Artificiell intelligens inom Data och IT

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.

Mer från samma författare

Del 10139

SOFSEM 2017: Theory and Practice of Computer Science

Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria

Häftad, 2017

749 kr

Del 10854

Formal Techniques for Distributed Objects, Components, and Systems

Christel Baier, Luís Caires

Häftad, 2018

749 kr

Validation of Stochastic Systems

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle

Häftad, 2004

729 kr

CONCUR 2006 - Concurrency Theory

Christel Baier, Holger Hermanns

Häftad, 2006

1 489 kr

Tools and Algorithms for the Construction and Analysis of Systems

Christel Baier, Cesare Tinelli

Häftad, 2015

749 kr

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen

Inbunden, 2008

2 639 kr

Mer från samma serie

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

749 kr

Del 15427

Internet of Things – ICIOT 2024

Shunli Zhang, Liang-Jie Zhang

Häftad, 2024

819 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

729 kr

Compiler Construction

Albert Cohen

Häftad, 2014

719 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

729 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

749 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

749 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

749 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 219 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

749 kr

Du kanske också är intresserad av

Foundations of Software Science and Computation Structures

Saint Philip Street Press

Häftad, 2020

1 069 kr

Foundations of Software Science and Computation Structures

Frank Pfenning

Häftad, 2013

749 kr

Foundations of Software Science and Computation Structures

Anca Muscholl

Häftad, 2014

749 kr

Del 15691

Foundations of Software Science and Computation Structures

Parosh Aziz Abdulla, Delia Kesner

Häftad, 2025

579 kr

Del 16503

Foundations of Software Science and Computation Structures

Nathalie Bertrand, Stefan Milius

Häftad, 2026

579 kr

Foundations of Software Science and Computation Structures

Furio Honsell, Marino Miculan

Häftad, 2001

749 kr

Foundations of Software Science and Computation Structures

Andrew Pitts

Häftad, 2015

749 kr

Del 12650

Foundations of Software Science and Computation Structures

Stefan Kiefer, Christine Tasson

Häftad, 2021

599 kr

Foundations of Software Science and Computation Structures

Javier Esparza, Andrzej S. Murawski

Häftad, 2017

749 kr

Del 13992

Foundations of Software Science and Computation Structures

Orna Kupferman, Pawel Sobocinski

Häftad, 2023

599 kr

Del 10803 i serien Lecture Notes in Computer Science

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

Häftad, Engelska, 2018

AvChristel Baier,Ugo Dal Lago

749 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (10)

Häftad

1 069 kr

Skickas inom 3-6 vardagar

Inbunden

1 159 kr

Skickas inom 5-8 vardagar

Häftad

729 kr

Skickas inom 10-15 vardagar

Häftad

579 kr

Skickas inom 10-15 vardagar

Häftad

599 kr

Skickas inom 10-15 vardagar

Häftad

579 kr

Skickas inom 10-15 vardagar

Häftad

599 kr

Skickas inom 10-15 vardagar

Häftad

579 kr

Skickas inom 10-15 vardagar

Häftad

579 kr

Skickas inom 5-8 vardagar

Häftad

579 kr

Skickas inom 10-15 vardagar

Produktinformation

Utgivningsdatum2018-04-14
Mått155 x 235 x 33 mm
Vikt896 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor583
FörlagSpringer International Publishing AG
ISBN9783319893655

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Artificiell intelligens inom Data och IT

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.