Home Advanced Search

Advanced Search - Page 1

Advanced Topics in Bisimulation and Coinduction
  • PDF
  • English
  • Year: 2012
  • Author: Davide Sangiorgi, Jan Rutten (Editors)
Introduction to Bisimulation and Coinduction
  • PDF
  • English
  • Year: 2011
  • Author: Davide Sangiorgi
Introduction to Bisimulation and Coinduction
  • PDF
  • English
  • Year: 2011
  • Author: Davide Sangiorgi
The [pi]-calculus : a theory of mobile processes
  • DJVU
  • English
  • Year: 2001
  • Author: Davide Sangiorgi; David Walker
Designing for Service: Key Issues and New Directions
  • PDF
  • English
  • Year: 2017
  • Author: Daniela Sangiorgi; Alison Prendiville (editors)
The Broca-Wernicke Doctrine: A Historical and Clinical Perspective on Localization of Language Functions
  • PDF
  • English
  • Year: 2017
  • Author: Geert-Jan Rutten (auth.)
Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
  • PDF
  • English
  • Year: 2005
  • Author: Benjamin C. Pierce (auth.), Rocco De Nicola, Davide Sangiorgi (eds.)
It's All About Coordination
  • PDF
  • English
  • Year: 2018
  • Author: Frank de Boer, Marcello Bonsangue, Jan Rutten
Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2014
  • Author: Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten (eds.)
Aesthetics, Philosophy and Martin Creed
  • PDF
  • English
  • Year: 2022
  • Author: Elisabeth Schellekens; Davide Dal Sasso (editors)
search