Sökt på: Böcker av Amir Pnueli
totalt 17 träffar
The Temporal Logic of Reactive and Concurrent Systems
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most …
MetaSoft Primer
The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott's reflexive domains and where jumps are described without …
Temporal Logic in Specification
Temporal Verification of Reactive Systems
This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some …
Perspectives of Systems Informatics
This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics Akad- gorodok (Novosibirsk, Russia), June …
Verification of Sequential and Concurrent Programs
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language-bounded …
The Temporal Logic of Reactive and Concurrent Systems
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most …
Perspectives of Systems Informatics
This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics Akad- gorodok (Novosibirsk, Russia), June …
Compositionality: The Significant Difference
This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full …
Temporal Logic of Reactive and Concurrent Systems
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most …
Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang
This workshop brought together top researchers in logic and software engineering in the unique occasion of celebrating the 70th birthday of Professor C S Tang who has devoted much …
Hybrid Systems: Computation and Control
This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3-5, 2003. The Hybrid …