Title 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 / Christel Baier, Ugo Dal Lago (eds.).

Publication Info.

Cham, Switzerland : Springer, 2018.

Copies

Location	Call No.	Status
University of Saint Joseph: Pope Pius XII Library - Internet	WORLD WIDE WEB E-BOOK Springer	Downloadable
Please click here to access this Springer resource

Description	1 online resource (xv, 583 pages) : illustrations.
	text file PDF rda
Series	Lecture notes in computer science, 0302-9743 ; 10803
	Advanced research in computing and software science
	LNCS sublibrary. SL 1, Theoretical computer science and general issues
	Lecture notes in computer science ; 10803. 0302-9743
	Lecture notes in computer science. Advanced research in computing and software science.
	LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Note	International conference proceedings.
Access	Open access. GW5XE
Note	Includes author index.
	Online resource; title from PDF title page (SpringerLink, viewed April 16, 2018).
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.
Summary	This book is Open Access under a CC BY licence.
Local Note	SpringerLink Springer Nature Open Access eBooks
Subject	Computer software -- Congresses.
	Software engineering -- Congresses.
	Software Engineering.
	Artificial intelligence.
	Systems analysis & design.
	Information technology: general issues.
	Discrete mathematics.
	Computer programming -- software development.
	Computers -- Software Development & Engineering -- General.
	Computers -- Intelligence (AI) & Semantics.
	Computers -- Hardware -- Handheld Devices.
	Computers -- General.
	Computers -- Data Processing.
	Computers -- Programming -- General.
	Computer software. (OCoLC)fst00872527
	Software engineering. (OCoLC)fst01124185
Genre/Form	Conference papers and proceedings. (OCoLC)fst01423772
Added Author	Baier, Christel, editor.
	Dal Lago, Ugo (Computer scientist), editor.
	ETAPS (Conference) (21st : 2018 : Thessalonikē , Greece), jointly held conference.
Added Title	FOSSACS 2018
	ETAPS 2018
Other Form:	Printed edition: 9783319893655
ISBN	9783319893662 (electronic book)
	3319893661 (electronic book)
	9783319893655 (print)
Standard No.	10.1007/978-3-319-89366-2 doi
ISBN	3319893653
	9783319893655

-->

Permanent Link

Add a Review

Title 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 / Christel Baier, Ugo Dal Lago (eds.).

Copies

Library Links

Search Tools

Language Settings