From Communication Histories to State Transition Machines.
Title | From Communication Histories to State Transition Machines. |
Publication Type | Journal Article |
Year of Publication | 2005 |
Authors | Dosch, W |
Bibtex:
@article {596, title = {From Communication Histories to State Transition Machines.}, year = {2005}, note = {In: W. Goerigk (ed.): Tagungsband des 21. Workshops der GI-Fachgruppe Programmiersprachen und Rechenkonzepte. Bad Honnef, Germany, May 3-5, 2004. Kiel: University of Kiel, Institute of Computer Science and Applied Mathematics, Technical Report 0410, 29-41 (2005)}, author = {W. Dosch} }
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Aliyu Ali
- Mahmoud Abdelrehim
- Phillip Bende
- Juljan Bouchagiar
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Anja Grotrian
- Hannes Hesse
- Raik Hipler
- Elaheh Hosseinkhani
- Hannes Kallwies
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Lars Vosteen
- Open Positions
- Contact