Explore Books on
logique temporelle

Logics of Programs

By D. Kozen

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

By Willem-Paul de Roever,Grzegorz Rozenberg,J. W. de Bakker,W.-P. de Roever

Tense logic

By Robert P. McArthur

De la logique modale à la logique des bases de données

By André Thayse

Outils logiques pour le traitement du temps

By Hélène Bestougeff

Temporal logic in specification

By Howard Barringer

Foundations of software technology and theoretical computer science

By V. Vinay

Logics and models of concurrent systems

By NATO Advanced Study Institute on Logics and Models of Concurrent Systems (1984 La Colle-sur-Loup, France)

Verifying concurrent processes using temporal logic

By Brent T. Hailpern