Davide Sangiorgi's bibliography (selection)

This page is not updated regularly. Papers can be found on the DBLP Bibliography Server. One may find here however additional unpublished material, or remarks on published material

Warning: The versions of papers that you find here do not necessarily correspond to the published versions.


I have split my thesis (title: Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms, 1992) into 4 parts, which are called thesis-part1.ps.gz, thesis-part2.ps.gz, thesis-part3.ps.gz, thesis-part4.ps.gz.

Systolic automata and systems

These papers below are not available electronically; send me an email if you'd like to have a copy.

Davide Sangiorgi