Access this title on SpringerLink – Click here!

Theoretical Computer Science and General Issues Advanced Research in Computing and Software Science
Open Access This content is freely available online to anyone, anywhere at any time.

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

Editors: Baier, Christel, Dal Lago, Ugo (Eds.)

Free Preview

Buy this book

eBook  
  • ISBN 978-3-319-89366-2
  • This book is an open access book, you can download it for free on link.springer.com
Softcover $59.99
price for USA in USD
  • ISBN 978-3-319-89365-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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. 

Table of contents (31 chapters)

Table of contents (31 chapters)
  • Non-angelic Concurrent Game Semantics

    Castellan, Simon (et al.)

    Pages 3-19

  • A Trace Semantics for System F Parametric Polymorphism

    Jaber, Guilhem (et al.)

    Pages 20-38

  • Categorical Combinatorics for Non Deterministic Strategies on Simple Games

    Jacq, Clément (et al.)

    Pages 39-70

  • A Syntactic View of Computational Adequacy

    Devesas Campos, Marco (et al.)

    Pages 71-87

  • A New Linear Logic for Deadlock-Free Session-Typed Processes

    Dardha, Ornela (et al.)

    Pages 91-109

Buy this book

eBook  
  • ISBN 978-3-319-89366-2
  • This book is an open access book, you can download it for free on link.springer.com
Softcover $59.99
price for USA in USD
  • ISBN 978-3-319-89365-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Foundations of Software Science and Computation Structures
Book Subtitle
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
Editors
  • Christel Baier
  • Ugo Dal Lago
Series Title
Theoretical Computer Science and General Issues
Series Volume
10803
Copyright
2018
Publisher
Springer International Publishing
Copyright Holder
The Editor(s) (if applicable) and The Author(s)
eBook ISBN
978-3-319-89366-2
DOI
10.1007/978-3-319-89366-2
Softcover ISBN
978-3-319-89365-5
Edition Number
1
Number of Pages
XV, 583
Number of Illustrations
75 b/w illustrations
Topics