logo EDITE Joel-Alexis BIALKIEWICZ
Identité
Joel-Alexis BIALKIEWICZ
État académique
Thèse soutenue le 2011-01-10
Sujet: A Denotational Semantics for Mobility
Direction de thèse:
Encadrement de thèse:
Laboratoire:
Voisinage
Ellipse bleue: doctorant, ellipse jaune: docteur, rectangle vert: permanent, rectangle jaune: HDR. Trait vert: encadrant de thèse, trait bleu: directeur de thèse, pointillé: jury d'évaluation à mi-parcours ou jury de thèse.
Productions scientifiques
978 1 60750 065 0
A Denotational Study of Mobility
Communicating Process Architectures 2009
http://www-desir.lip6.fr/publications/pub_1284_1_bialkpesch.pdf
Logic for Mobility: A Denotational Approach
Second International Workshop on Logics for Agents and Mobility 2009
edite:13327925531175
Modelling and Verifying Mobile Systems Using Pi-Graphs
35th International Conference on Current Trends in Theory and Practice of Computer Science (Sofsem 2009) 2009
Soutenance
Thèse: UNE SEMANTIQUE DENOTATIONNELLE POUR LA MOBILITE
Soutenance: 2011-01-10