Theoretical Computer Science and General Issues

Foundations of Software Science and Computation Structures

17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Editors: Muscholl, Anca (Ed.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-54830-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $95.00
price for USA
  • ISBN 978-3-642-54829-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 28 papers included in this book, together with one invited talk, were selected from 106 full-paper submissions. The following topical areas are covered: probabilistic systems, semantics of programming languages, networks, program analysis, games and synthesis, compositional reasoning, bisimulation, categorical and algebraic models and logics of programming.

Table of contents (29 chapters)

  • Equivalences of Pushdown Systems Are Hard

    Jančar, Petr

    Pages 1-28

  • Active Diagnosis for Probabilistic Systems

    Bertrand, Nathalie (et al.)

    Pages 29-42

  • Analysis of Probabilistic Basic Parallel Processes

    Bonnet, Rémi (et al.)

    Pages 43-57

  • Limit Synchronization in Markov Decision Processes

    Doyen, Laurent (et al.)

    Pages 58-72

  • Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes

    Fu, Hongfei

    Pages 73-87

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-54830-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $95.00
price for USA
  • ISBN 978-3-642-54829-1
  • 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
17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Editors
  • Anca Muscholl
Series Title
Theoretical Computer Science and General Issues
Series Volume
8412
Copyright
2014
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-54830-7
DOI
10.1007/978-3-642-54830-7
Softcover ISBN
978-3-642-54829-1
Edition Number
1
Number of Pages
XVI, 457
Number of Illustrations and Tables
48 b/w illustrations
Topics