Probabilistic models for concurrency - Notes for a minicourse
TR-2005-55, Author: Daniele Varacca
January 2005
Abstract
What these notes are
These notes were written to accompany a minicourse given in November 2004 at the IT University of Copenhagen, in the context of the FIRST PhD school. They can be used as a quick introduction to the topic by a reader knowledgeable in concurrency theory.
What these notes are not
These notes are not meant to be complete in any way, and they are indeed quite sketchy. I wanted to stay within a reasonable size, and many issues are not even mentioned. An interested reader should follow the bibliographic links. The reader should also be warned that the names and the notation I have chosen are not always universally accepted.
If you find any mistakes, or have any suggestions for improvement, please send me a mail at varacca@brics.dk.
Acknowledgments
I want to thank Thomas Hildebrandt for inviting me to give this minicourse. Mikkel Bundgaard and Bartek Klin helped in removing several mistakes from these notes.
Technical report
TR-2005-55 in
IT University Technical Report Series,
January 2005.
Available as
PDF.