Skip to Main content Skip to Navigation
New interface


...
tel-00821978v1  Theses
Sandie Balaguer. Study of concurrency in real-time distributed systems
Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2012. English. ⟨NNT : 2012DENS0071⟩
...
tel-01369451v1  Theses
Florent Latombe. Systematic use of Models of Concurrency in eXecutable Domain-Specific Modeling Languages
Software Engineering [cs.SE]. Université de Toulouse - Institut National Polytechnique de Toulouse (INPT), 2016. English
...
tel-02947048v1  Theses
Adrien Durier. Unique solution techniques for processes and functions
Programming Languages [cs.PL]. Université de Lyon; Università degli studi (Bologne, Italie), 2020. English. ⟨NNT : 2020LYSEN016⟩
...
tel-00751444v1  Theses
Gabriel Kerneis. Continuation-Passing C: Program Transformations for Compiling Concurrency in an Imperative Language
Programming Languages [cs.PL]. Université Paris-Diderot - Paris VII, 2012. English
...
pastel-00001336v1  Theses
Olivier Tardieu. Loops in Esterel: From Operational Semantics to Formally Specified Compilers
domain_other. École Nationale Supérieure des Mines de Paris, 2004. English. ⟨NNT : 2004ENMP1237⟩
...
tel-02061997v1  Theses
Fabien Dagnat. Vérification Statique de Programmes Répartis
Langage de programmation [cs.PL]. Institut National Polytechnique De Toulouse, 2001. Français
...
tel-00697756v1  Theses
Gilbert Tekli. XML manipulation by non-expert users
Other [cs.OH]. Université Jean Monnet - Saint-Etienne, 2011. English. ⟨NNT : 2011STET4013⟩
...
tel-00690512v1  Theses
Mehdi Dogguy. Déterminisme et Confluence dans des systèmes concurrents et synchrones
Calcul formel [cs.SC]. Université Paris-Diderot - Paris VII, 2012. Français
...
tel-00772693v1  Theses
Romain Beauxis. Asynchronous Process Calculi for Specification and Verification of Information Hiding Protocols
Cryptography and Security [cs.CR]. Ecole Polytechnique X, 2009. English
...
tel-01783442v1  Habilitation à diriger des recherches
Samuel Mimram. Geometric Models of Concurrent Computations
Logic in Computer Science [cs.LO]. Université Paris 7, 2016
...
tel-01141067v1  Theses
Jean-Marie Madiot. Higher-order languages : dualities and bisimulation enhancements
Logic in Computer Science [cs.LO]. Ecole normale supérieure de lyon - ENS LYON, 2015. English. ⟨NNT : 2015ENSL0988⟩
...
tel-00933072v1  Theses
Quentin Sabah. SIAAM: Simple Isolation for an Abstract Actor Machine
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Grenoble, 2013. English
...
tel-01892649v1  Theses
Hai Nguyen Van. Formalizing Time and Causality in Polychronous Polytimed Models
Modeling and Simulation. Université Paris Saclay (COmUE), 2018. English. ⟨NNT : 2018SACLS282⟩
...
tel-00794977v1  Theses
Antoine Madet. Complexité Implicite de Lambda-Calculs Concurrents
Programming Languages [cs.PL]. Université Paris-Diderot - Paris VII, 2012. English
...
tel-01445983v1  Theses
Amira Methni. Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle
Logique en informatique [cs.LO]. Conservatoire national des arts et metiers - CNAM, 2016. Français. ⟨NNT : 2016CNAM1057⟩
...
tel-01336757v1  Theses
Saverio Giallorenzo. Real-World Choreographies
Distributed, Parallel, and Cluster Computing [cs.DC]. Università degli studi di Bologna, 2016. English
...
tel-01110117v1  Habilitation à diriger des recherches
Francesco Zappa Nardelli. Reasoning between Programming Languages and Architectures
Computer Science [cs]. ENS Paris - Ecole Normale Supérieure de Paris, 2014
...
tel-01238752v1  Theses
Jurgen Michael van Ham. Seamless concurrent programming of objects, aspects and events
Programming Languages [cs.PL]. Ecole des Mines de Nantes, 2015. English. ⟨NNT : 2015EMNA0118⟩
...
tel-00750637v1  Theses
Toufik Sarni. Vers une mémoire transactionnelle temps réel
Autre [cs.OH]. Université de Nantes, 2012. Français
...
tel-00327441v1  Theses
Christian Brunette. Construction et simulation graphiques de comportements : le modèle des Icobjs
Autre [cs.OH]. École Nationale Supérieure des Mines de Paris, 2004. Français
...
tel-00429663v1  Theses
José Martinez. Contribution aux problèmes de contrôle de concurrence et de reprise dans les bases de données à objets
Réseaux et télécommunications [cs.NI]. Université Montpellier II - Sciences et Techniques du Languedoc, 1992. Français
...
tel-00683964v1  Theses
Claudio Antares Mezzina. Réversibilité dans le pi calcul d'ordre supérieur
Autre [cs.OH]. Université de Grenoble; Università degli studi (Bologne, Italie), 2012. Français. ⟨NNT : 2012GRENM006⟩
...
tel-00460805v1  Habilitation à diriger des recherches
Olivier Laurent. Investigations classiques, complexes et concurrentes à l'aide de la logique linéaire
Mathématiques [math]. Université Paris-Diderot - Paris VII, 2010
...
tel-00005059v1  Theses
Wilfried Quivrin-Pfister. Des bisimulations de places pour la réduction des réseaux de Petri
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 1995. Français
...
tel-00160422v1  Theses
Georges Brun-Cottan. Cohérence de données répliquées partagées par un groupe de processus coopérant à distance
Réseaux et télécommunications [cs.NI]. Université Pierre et Marie Curie - Paris VI, 1998. Français