Davide Sangiorgi

Eine Liste von Autoren mit Biografien, Lebensdaten und späteren Sammlungen aller Bücher.

Bücher des Autors

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