The Temporal Logic of Reactive and Concurrent Systems
Produktbeskrivelse
Reaktive systemer er interaktive dataprogrammer som realtidssystemer, operativsystemer, samtidige systemer og kontrollsystemer. Disse systemene er blant de mest komplekse å programmere. Temporallogikk er et formelt verktøy som gir fremragende resultater når det gjelder spesifikasjon av reaktive systemer. Dette bindet, det første av to, har undertittelen 'Spesifikasjon', og gir en selvstendig innføring i temporallogikk, samt en presentasjon av den beregningsmessige modellen for reaktive programmer, utviklet av Zohar Manna fra Stanford University og Amir Pnueli fra Weizmann Institute of Science i Israel.
