Berndt Farwer
seit Oktober 2010: University of Glamorgan, U.K.
PRIVATE HOMEPAGE
|
|
|
|
|
-
- Cette page n'est plus réactualisée. September 2006
- Position:
- ancien assistant professeur
- Projets actuels:
- "Model Checking Agent Programming Languages"
- (seulement en Anglais)
- Modèles des Automates Concurrents
- Logik und Petrinetze (seulement en Allemand)
- Dynamische Petrinetzstrukturen (seulement en Allemand)
- Model-Checking für Objekt-Petrinetze (seulement en Allemand)
- Strukturelle Analyse für komponenten- und agentenorientierte Petrinetze (seulement en Allemand)
- Projets anciens
- Modelling And Analysis Of Time Constrained And Hierarchical Systems (MATCH)
- Toward a unifying framework for concurrency
- Affiliation (international):
- EATCS (European Association for Theoretical Computer Science)
- ASL (Association for Symbolic Logic)
- Membre de (Université)
- Prüfungsausschuß
- Bibliotheksausschuß (stellv.)
- Fachbereichstrat (stellv.)
- Kommission für englischsprachige Lehrveranstaltungen
- Bibliotheksausschuß (stellv.)
- Bibliographie
