Foundational and Practical Aspects of Resource Analysis

4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

  • Marko van Eekelen
  • Ugo Dal Lago
Conference proceedings FOPARA 2015

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9964)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9964)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Elvira Albert, Antonio Flores-Montoya, Samir Genaim
    Pages 1-19
  3. Bernard van Gastel, Rody Kersten, Marko van Eekelen
    Pages 20-39
  4. Erika De Benedetti, Simona Ronchi Della Rocca
    Pages 40-59
  5. Maja H. Kirkeby, Mads Rosendahl
    Pages 60-80
  6. U. Liqat, K. Georgiou, S. Kerrison, P. Lopez-Garcia, John P. Gallagher, M. V. Hermenegildo et al.
    Pages 81-100
  7. Kevin Hammond, Christopher Brown, Susmit Sarkar
    Pages 101-125
  8. Back Matter
    Pages 127-127

About these proceedings

Introduction

This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and selected from 7 submissions.

Keywords

complexity embedded systems operational semantics probabilistic analysis theory of computation

Editors and affiliations

  • Marko van Eekelen
    • 1
  • Ugo Dal Lago
    • 2
  1. 1.Radboud University and Open University, The NetherlandsNijmegenThe Netherlands
  2. 2.Dipartimento di InformaticaUniversità di BolognaBolognaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-46559-3
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-46558-6
  • Online ISBN 978-3-319-46559-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book