Davide Sangiorgi

Identifiers

Open LibraryOL2766909A

Top Subjects

Lambda calculus (1)
Calculus (1)
Pi (1)
Computer Communications & Networking (1)
Technology (1)
Mobile computing (1)
Data Transmission Systems (1)

Books by Davide Sangiorgi

Total count: 9

A theory of bisimulation for the (lambda)-calculus

LFCS, Dept. of Computer Science, University of Edinburgh1993-01-01
Locality and non-interleaving semantics in calculi for mobile processes

LFCS, Dept. of Computer Science, University of Edinburgh1994-01-01
The Pi Calculus1st edition

Cambridge University Press2001-12-15
Trustworthy Global ComputingInternational Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

Springer London, Limited2005-01-01
An introduction to bisimulation and coinduction

Cambridge University Press2011-01-01
Advanced Topics in Bisimulation and Coinduction

Cambridge University Press2011-01-01
Introduction to Bisimulation and Coinduction

Cambridge University Press2011-01-01
Theoretical Computer Science8th IFIP TC 1/WG 2. 2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

Springer London, Limited2014-01-01
Pi-CalculusA Theory of Mobile Processes

University of Cambridge ESOL Examinations