Výsledky hledání pro autora

1

Obálka

Introduction to bisimulation and coinduction /

Autor Sangiorgi, Davide, 1964-
Vydáno 2011

Kniha

2

Obálka

The pí-calculus : a theory of mobile processes /

Autor Sangiorgi, Davide, 1964-, Walker, David, 1961-
Vydáno 2001

Kniha

3

Obálka

Advanced topics in bisimulation and coinduction /

Vydáno 2011

Další autoři: '; “...Sangiorgi, Davide, 1964-...”

Kniha

4

Obálka

CONCUR '98 : Concurrency Theory : 9th International Conference, Nice, France, September 8-11, 1998 : proceedings /

Vydáno 1994

Další autoři: '; “...Sangiorgi, Davide, 1964-...”

Kniha

5

Obálka

Trustworthy global computing : International Symposium, TCG 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers /

Vydáno 2005

Další autoři: '; “...Sangiorgi, Davide, 1964-...”

Kniha