Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Elisabeth Pelz

Elisabeth Pelz

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Directed Thesis:

Modèles composables et concurrents pour le temps-réel
Modelisation des systemes concurrentes ; methodes structurelles et semantiques dans l'algebre des reseaux de petri de haut niveau
Modeles algebriques, bases sur les reseaux de petri, pour la semantique des langages de programmation concurrents
Les réseaux algébriques hiérarchiques : un formalisme de spécifications structurées pour le développement de systèmes concurrents