Probabilistic models for concurrency: Notes for a minicourse
- Daniele Varacca
- École Normale Supérieure Paris-Saclay
Research Output:
Book / Anthology / Report
Report
Open access
Publication Information
Output type
Research Output:
Book / Anthology / Report
Report
Original language
EnglishPublication milestones
- Published - 01/2005
Publication status
Published - 01/2005
Place of publication
CopenhagenEdition
TR-2005-55Publisher
IT-Universitetet i København, DenmarkBook series
- Book series name: IT University Technical Report Series
Series number: TR-2005-55
ISSN: 1600-6100
ISBN (Electronic)
87-7949-079-4Abstract
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 [email protected].
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.
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 [email protected].
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.
Access to documents
Final published version, 224.66 KB