Specifying Message Passing and Time-Critical Systems with Temporal Logic

Specifying Message Passing and Time-Critical Systems with Temporal Logic
Author :
Publisher : Springer Science & Business Media
Total Pages : 180
Release :
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

Download or read book Specifying Message Passing and Time-Critical Systems with Temporal Logic 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. 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.


Specifying Message Passing and Time-Critical Systems with Temporal Logic Related Books