عنوان

Foundations of software science and computation structures :

(Number (ISBN

3319893653

(Number (ISBN

3319893661

(Number (ISBN

9783319893655

(Number (ISBN

9783319893662

Erroneous ISBN

9783319893655

Title Proper

Foundations of software science and computation structures :

General Material Designation

[Book]

Other Title Information

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 /

First Statement of Responsibility

Christel Baier, Ugo Dal Lago (eds.).

Place of Publication, Distribution, etc.

Cham, Switzerland :

Name of Publisher, Distributor, etc.

Springer,

Date of Publication, Distribution, etc.

2018.

Specific Material Designation and Extent of Item

1 online resource (xv, 583 pages) :

Other Physical Details

illustrations

Series Title

Advanced research in computing and software science

Series Title

Lecture notes in computer science,

Series Title

LNCS sublibrary. SL 1, Theoretical computer science and general issues

Volume Designation

10803

ISSN of Series

0302-9743 ;

Text of Note

Includes author index.

Text of Note

International conference proceedings.

Text of Note

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.

0

Text of Note

This book is Open Access under a CC BY licence.

Source for Acquisition/Subscription Address

Springer Nature

Stock Number

com.springer.onix.9783319893662

International Standard Book Number

9783319893655

Parallel Title

ETAPS 2018

Parallel Title

FOSSACS 2018

Computer software, Congresses.

Software engineering, Congresses.

Artificial intelligence.

Computer programming-- software development.

Computer software.

Computers-- Data Processing.

Computers-- General.

Computers-- Hardware-- Handheld Devices.

Computers-- Intelligence (AI) & Semantics.

Computers-- Programming-- General.

Computers-- Software Development & Engineering-- General.

Discrete mathematics.

Information technology: general issues.

Software engineering.

Software Engineering.

Systems analysis & design.

COM036000

COM051000

UM

UM

UYF

UYF

Number

Edition

Class number

Book number

Baier, Christel

Dal Lago, Ugo, (Computer scientist)

FOSSACS (Conference)(21st :2018 :, Thessalonikē, Greece)

ETAPS (Conference)(21st :2018 :, Thessalonikē , Greece)

Date of Transaction

20200823114308.0

Cataloguing Rules (Descriptive Conventions))

pn

Electronic name

[Book]

Y