Modal and Temporal Properties of Processes - Softcover

Buch 31 von 83: Texts in Computer Science

Stirling, Colin

 
9781475735512: Modal and Temporal Properties of Processes

Inhaltsangabe

*Processes * Modalities and Capabilities * Bisimulations * Temporal Properties * Modal Mu-Calculus * Verifying Temporal Properties * Exposing Structure * References

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9780387987170: Modal and Temporal Properties of Processes (Texts in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  0387987177 ISBN 13:  9780387987170
Verlag: Springer, 2001
Hardcover