Berndt Farwer
seit Oktober 2010: University of Glamorgan, U.K.
PRIVATE HOMEPAGE
|
|
|
|
|
-
- This page is no longer maintained. September 2006
- Posición:
- anterior asistante científico
- Proyectos Actuales:
- "Model Checking Agent Programming Languages"
- (sólo en Inglés)
- Modelos de Autómatos Concurrentes
- Logik und Petrinetze (sólo en Alemán)
- Dynamische Petrinetzstrukturen (sólo en Alemán)
- Model-Checking für Objekt-Petrinetze (sólo en Alemán)
- Strukturelle Analyse für komponenten- und agentenorientierte Petrinetze (sólo en Alemán)
- Proyectos antiguos:
- Modelling And Analysis Of Time Constrained And Hierarchical Systems (MATCH)
- Toward a unifying framework for concurrency
- Afiliación (internacional):
- EATCS (European Association for Theoretical Computer Science)
- ASL (Association for Symbolic Logic)
- Miembro de (Universidad):
- Prüfungsausschuß
- Bibliotheksausschuß (stellv.)
- Fachbereichstrat (stellv.)
- Kommission für englischsprachige Lehrveranstaltungen
- Bibliotheksausschuß (stellv.)
- Bibliografía
