Introduction to Concurrency Theory: Transition Systems and CCS (Texts in Theoretical Computer Science. An EATCS Series)

Complexity Theory and Cryptology: An Introduction to Cryptocomplexity (Texts in Theoretical Computer...

Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

An Introduction to Online Computation: Determinism, Randomization, Advice (Texts in Theoretical Computer...