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 [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.
| Originalsprog | Engelsk |
|---|
| Udgivelsessted | Copenhagen |
|---|---|
| Forlag | IT-Universitetet i København |
| Udgave | TR-2005-55 |
| Antal sider | 27 |
| ISBN (Elektronisk) | 87-7949-079-4 |
| Status | Udgivet - jan. 2005 |
| Udgivet eksternt | Ja |
| Navn | IT University Technical Report Series |
|---|---|
| Nummer | TR-2005-55 |
| ISSN | 1600-6100 |