Time for concurrency

Lecture Notes in Computer Science - Future Tendencies in Computer Science, Control and Applied Mathematics ◽

10.1007/3-540-56320-2_56 ◽

2007 ◽

pp. 129-153 ◽

Author(s):

Zohar Manna ◽

Amir Pnueli

Download Full-text