Happy Holidays—Our £30 Gift Card just for you, and books ship free! Shop now>>

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 £44.99
price for United Kingdom (gross)
  • 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

    Pages 3-19

    Castellan, Simon (et al.)

  • A Trace Semantics for System F Parametric Polymorphism

    Pages 20-38

    Jaber, Guilhem (et al.)

  • Categorical Combinatorics for Non Deterministic Strategies on Simple Games

    Pages 39-70

    Jacq, Clément (et al.)

  • A Syntactic View of Computational Adequacy

    Pages 71-87

    Devesas Campos, Marco (et al.)

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

    Pages 91-109

    Dardha, Ornela (et al.)

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 £44.99
price for United Kingdom (gross)
  • 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