Specifying Message Passing and Time-Critical Systems with Temporal Logic
Download or Read eBook Specifying Message Passing and Time-Critical Systems with Temporal Logic PDF written by Ron Koymans and published by Springer Science & Business Media. This book was released on 1992-12-14 with total page 180 pages. Available in PDF, EPUB and Kindle.
| Author | : Ron Koymans |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 180 |
| Release | : 1992-12-14 |
| ISBN-10 | : 3540562834 |
| ISBN-13 | : 9783540562832 |
| Rating | : 4/5 (34 Downloads) |
Book Synopsis Specifying Message Passing and Time-Critical Systems with Temporal Logic by : Ron Koymans
Book excerpt: Free radicals, which are key intermediates in many thermal, photochemical and radiation processes, are important for a proper understanding of fundamental natural processes and the successful development of organic syntheses. After about one decade volume II/18 serves as a supplement and extension to volume II/13 and covers rate constants and other kinetic data of free radical reactions in liquids. Furthermore II/18 contains new chapters on reactions of radicals in excited states and of carbenes, nitrenes and analogues. Selected species in aqueous solutions for which other compilations are available were deliberately omitted as before, and for the same reason electron transfer equilibria of organic radicals were not covered.
