spirit versus structure
- Tongue
- English
- Category
- Library
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
<p>This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with an emphasis on infinite-state systems; and the final one prese
<p>Research on decomposer communities of terrestrial ecosystems for a long time has focussed on microbial biomass and gross turnover parameters. Recently, more and more attempts are made to look beyond the biomass, and more specifically determine functions and populations on a smaller scale-in time
<p>This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with an emphasis on infinite-state systems; and the final one prese