Bibliography

1

Gregory R. Andrews.
Concurrent Programming: Principles and Practice.
The Benjamin/Cummings Publishing Company, Inc., 1991.

2

Luís Soares Barbosa.
Métodos de programação concorrente, Fevereiro 1998.

3

Nikolaj Bjorner, Anca Browne, Eddie Chang, Michael Colón, Bernd Finkbeiner, Arjun Kapur, Zohar Manna, Henny Sipma, and Tomás Uribe.
STeP: User's Manual.
Computer Science Department, Stanford University, October 1997.

4

Zohar Manna, Anuchit Anuchitanukul, Nikolaj Bjørner, Anca Browne, Edward Chang, Michael Colón, Luca de Alfaro, Harish Devarajan, Henny Sipma, and Tomás Uribe.
Step: the stanford temporal prover.
Technical report, Computer Science Department, Stanford University, June 1994.

5

Zohar Manna and Amir Pnueli.
Temporal Verification of Reactive Systems.
Springer Verlag, 1995.

6

José Manuel Valença.
Notas teóricas de elementos lógicos da programação 3, 1999.