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

Bibliographie

• Durham University, UK
• Electronics and Computer Science at Southampton, UK