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.
Includes supplementary material: sn.pub/extras
Marko van Eekelen
complexity embedded systems operational semantics probabilistic analysis theory of computation