Davide Sangiorgi

Список авторов с биографиями, датами жизни и будущими подборками всех их книг.

Книги автора

8

Concurrency theory

Concurrency theory

The [pi]-calculus

The [pi]-calculus

Introduction to Bisimulation and Coinduction

Introduction to Bisimulation and Coinduction

Trustworthy global computing

Trustworthy global computing

Theoretical Computer Science

Theoretical Computer Science

Pi-Calculus

Pi-Calculus

A theory of bisimulation for the (lambda)-calculus

A theory of bisimulation for the (lambda)-calculus

Locality and non-interleaving semantics in calculi for mobile processes

Locality and non-interleaving semantics in calculi for mobile processes