LEADER 05054nam 22008175 450 001 9910293144603321 005 20230221143102.0 010 $a3-319-89366-1 024 7 $a10.1007/978-3-319-89366-2 035 $a(CKB)4100000003359638 035 $a(DE-He213)978-3-319-89366-2 035 $a(MiAaPQ)EBC5579159 035 $a(Au-PeEL)EBL5579159 035 $a(OCoLC)1031399785 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/31640 035 $a(PPN)226696510 035 $a(EXLCZ)994100000003359638 100 $a20180414d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFoundations of Software Science and Computation Structures $e21st 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 /$fedited by Christel Baier, Ugo Dal Lago 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XV, 583 p. 75 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10803 311 $a3-319-89365-3 327 $aSemantics -- 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. 330 $aThis book is Open Access under a CC BY licence. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10803 606 $aComputer science 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aElectronic digital computers?Evaluation 606 $aComputers 606 $aProfessions 606 $aComputer science?Mathematics 606 $aDiscrete mathematics 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aArtificial Intelligence 606 $aSystem Performance and Evaluation 606 $aThe Computing Profession 606 $aDiscrete Mathematics in Computer Science 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aElectronic digital computers?Evaluation. 615 0$aComputers. 615 0$aProfessions. 615 0$aComputer science?Mathematics. 615 0$aDiscrete mathematics. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aSystem Performance and Evaluation. 615 24$aThe Computing Profession. 615 24$aDiscrete Mathematics in Computer Science. 676 $a005.1015113 700 $aBaier$b Christel$4edt$0312039 702 $aBaier$b Christel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDal Lago$b Ugo$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910293144603321 996 $aFoundations of Software Science and Computation Structures$93091270 997 $aUNINA