Probabilistic models for concurrency - Notes for a minicourse
TR-2005-55, Author: Daniele Varacca
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 firstname.lastname@example.org.
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
Available as PDF