A basis for theoretical computer science. Texts and monographs in computer scie

Verifying Temporal Properties of Systems (Progress in Theoretical Computer Scien

Foundations of Software Technology and Theoretical Computer Science, First!

Concurrency Control in Distributed Database Systems (STUDIES IN COMPUTER SCIENCE

Aspects and Prospects of Theoretical Computer Science (Lecture Notes in Computer

Foundations of Software Technology and Theoretical Computer Science: Biswas and

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science.

Foundations of Software Technology and Theoretical Computer Science: Nori and Ve