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

Bibliografía

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