Jean-Marc Talbot. Model-checking pour les ambients : des algèbres de processus aux données semi-structurées. Autre [cs.OH]. Université des Sciences et ...
Ce document se compose de deux parties. Ces deux parties ont été écrites de telle façon que la lecture de l'une puisse se faire indépendemment de l'autre.
Cette étude a été effectuée avec une double approche, d'un côté, dans l'optique "programmation - vérification pour les algèbres de processus" et de l'autre, ...
Model-checking pour les ambients : des algèbres de processus aux données semi-structurées. Jean-Marc Talbot. Habilitation à diriger les recherches. Université ...
Spelling suggestions: "subject:"process calcul verification"". 1. Model-checking pour les ambients : des algèbres de processus aux données semi-structurées.
A Predicate Spatial Logic and Model Checking for Mobile Processes ...
www.semanticscholar.org › paper
Model-checking pour les ambients : des algèbres de processus aux données semi-structurées · J. Talbot. Philosophy, Computer Science. 2005. TLDR. This ...
https://dblp.org/rec/books/hal/Talbot05. Jean-Marc Talbot: Model-checking pour les ambients : des algèbres de processus aux données semi-structurées. Lille ...
Ce travail porte sur la specification et la verification des systemes temps reel. Nous presentons une algebre de processus temporises ATP, qui permet de ...
Oct 22, 2024 · Model-checking pour les ambients : des algèbres de processus aux données semi-structurées. Article. Dec 2005. Jean-Marc Talbot · View ... We ...
Model-checking pour les ambients : des algèbres de processus aux données semi-structurées. Article. Dec 2005. Jean-Marc Talbot · View ... Etant donné que la ...