There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book

ISBN (Print): 978-3-642-12031-2

ISBN (Electronic): 978-3-642-12032-9

Publication date (Print): 2010

DOI: 10.1007/978-3-642-12032-9

SO-VID: 07c4ade0-ad39-487a-8abc-ebc3dca88d17

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 4

Linear Haskell: practical linearity in a higher-order polymorphic language
Authors: Arnaud Spiwack, Simon Peyton Jones, Ryan R. Newton …
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things
Authors: Davide Ancona, Giorgio Delzanno, Maurizio Leotta …
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes
Authors: Marco Bernardo, Michele Loreti, Rocco De Nicola

See all cited by

Foundations of Software Science and Computational Structures

Read this book at