Davide Sangiorgi
14 published titles
The lazy lambda calculus in a concurrency scenario
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
An improved systolic array for string correction
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Classes of systolic y-tree automata and a comparison with systolic trellis automata
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
A theory of bisimulation for the [lambda]-calculus
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1993
- Details
Algebraic theories for name-passing calculi
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1993
- Details
Locality and non-interleaving semantics in calculi for mobile processes
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1994
- Details
A fully abstract semantics for causality in the [pi]-calculus
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1994
- Details
On the bisimulation proof method
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1994
- Details
CONCUR'98 : concurrency theory : 9th International Conference, Nice, France, September 8-11, 1998 : proceedings
(Contributor)
1 edition
- ISBN: 3540648968
- Springer
- 1998
- Details
The [pi]-calculus : a theory of mobile processes
1 edition
- ISBN: 0521781779
- Cambridge University Press
- 2001
- Details
Trustworthy global computing : international symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. revised selected papers
(Contributor)
1 edition
- ISBN: 9783540300076
- Springer
- 2005
- Details
An introduction to bisimulation and coinduction
1 edition
- ISBN: 9781107003637
- Cambridge University Press
- 2012
- Details
Advanced topics in bisimulation and coinduction
(Contributor)
1 edition
- ISBN: 9781107004979
- Cambridge University Press
- 2012
- Details
Theoretical computer science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : proceedings
(Contributor)
1 edition
- ISBN: 9783662446010
- Springer
- 2014
- Details
