Résultats 1 à 10

EXPORTER les résultats
S'ABONNER à theses.fr

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (31)
  • Grenoble Alpes (30)
  • Paris Saclay (25)
  • Rennes 1 (22)
  • Paris, CNAM (14)
  • Bordeaux (12)
  • Paris 11 (12)
  • Paris 6 (12)
  • Toulouse 3 (11)
  • Cachan, Ecole normale supérieure (10)
  • Lorient (9)
  • Lyon (7)
  • Nantes (7)
  • Nice (7)
  • Paris Est (7)
  • Université de Lorraine (7)
  • Besançon (6)
  • Montpellier 2 (6)
  • Paris 7 (6)
  • Pau (6)
  • Côte d'Azur (4)
  • Dijon (4)
  • Nancy 1 (4)
  • Palaiseau, Ecole polytechnique (4)
  • Toulouse, INSA (4)
  • Toulouse, ISAE (4)
  • Grenoble INPG (3)
  • Le Havre (3)
  • Lille 1 (3)
  • Paris Sciences et Lettres (3)
  • Sorbonne Paris Cité (3)
  • Toulouse, INPT (3)
  • Aix-Marseille (2)
  • Brest (2)
  • Clermont Auvergne (2)
  • Clermont-Ferrand 2 (2)
  • Compiègne (2)
  • Evry, Institut national des télécommunications (2)
  • Montpellier (2)
  • Mulhouse (2)
  • Orléans (2)
  • Paris 10 (2)
  • Rennes, Agrocampus Ouest (2)
  • Rennes, INSA (2)
  • Supélec (2)
  • Universidade de São Paulo (Brésil) (2)
  • Università degli studi (Bologne, Italie) (2)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (2)
  • Angers (1)
  • Arab open university. Lebanon branch (Antelias, Liban) (1)
  • Avignon (1)
  • Brno University of Technology (MAIS) (1)
  • Castellon (1)
  • Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional (Mexico) (1)
  • Cergy-Pontoise (1)
  • Ecole Supérieure Polytechnique de Dakar - Sénégal (1)
  • Ecole centrale de Lille (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Institut polytechnique de Kiev (Ukraine) (1)
  • Instituto de Ciências Matemáticas (São Carlos, Brésil) (1)
  • La Rochelle (1)
  • Les Arts décoratifs (France) (1)
  • Lille 3 (1)
  • Limoges (1)
  • Lyon, École normale supérieure (1)
  • Malardalen University (1)
  • Nantes, Ecole des Mines (1)
  • Normandie (1)
  • Paris 1 (1)
  • Paris 13 (1)
  • Paris 3 (1)
  • Paris 9 (1)
  • Paris, ENMP (1)
  • Paris, ENST (1)
  • Perpignan (1)
  • Politecnico di Milano (1)
  • Prove & Run (1)
  • Reims (1)
  • Rennes, École normale supérieure (1)
  • Saint-Etienne (1)
  • Strasbourg (1)
  • Technische Universität (Darmstadt, Allemagne) (1)
  • Toulouse 1 (1)
  • Tours (1)
  • Universidad de los Andes (Bogotá) (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • Università degli studi (Bologne, Italie). Facoltà di Ingegneria (1)
  • Universität des Saarlandes (1)
  • Université Abderrahmane Mira de Béjaia (1)
  • Université Joseph Fourier (Grenoble) (1)
  • Université Mohammed V (Rabat) (1)
  • Université Tunis El Manar. Faculté des Sciences Mathématiques, Physiques et Naturelles de Tunis (Tunisie) (1)
  • Université de Sfax (Tunisie) (1)
  • Université de Sfax. Faculté des sciences. Département de mathématiques (1)
  • Université de Sherbrooke (Québec, Canada) (1)
  • Université de Tunis. Faculté des sciences de Tunis (1)
  • Université des sciences et de la technologie Houari Boumediene (Alger) (1)
  • Université du Luxembourg (1)
  • Université polytechnique de l'Ouest Africain (Dakar, Sénégal) (1)
  • Valenciennes (1)
  • Vandoeuvre-les-Nancy, INPL (1)
  • Versailles-St Quentin en Yvelines (1)
  • École Supérieure d’Ingénieurs de Beyrouth (ESIB) – Université Saint-Joseph (USJ) (1)
  • École nationale d'ingénieurs de Tunis (Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (226)
  • Stic (8)
  • Sciences appliquées (7)
  • Mathématiques (4)
  • Mathématiques et Informatique (4)
  • Informatique et applications (3)
  • Mathématiques Appliquées (3)
  • Automatique et informatique appliquée (2)
  • Génie informatique (2)
  • Géographie (2)
  • Informatique (STIC) (2)
  • Informatique et réseaux (2)
  • Mathématiques appliquées (2)
  • Mathématiques-Informatique (2)
  • Nano electronique et nano technologies (2)
  • Réseaux, Télécommunications, Systèmes et Architecture (2)
  • Réseaux, télécom, système et architecture (2)
  • Réseaux, télécoms, systèmes et architecture (2)
  • Sciences économiques (2)
  • Sureté de Logiciel et Calcul à Haute Performance (2)
  • Aménagement et urbanisme (1)
  • Anthropologie (1)
  • Automatique (1)
  • Automatique et informatique appliquée (1)
  • Automatique, Génie informatique, Traitement du Signal et des Images (1)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (1)
  • Automatique, signal, productique, robotique (1)
  • Biologie et physiologie végétales (1)
  • Chimie quantique et computationnelle (1)
  • Contrôle des Systèmes (1)
  • Doctorat de l'université de Rennes1 mention informatique (1)
  • Droit (1)
  • Droit Public (1)
  • Droit privé (1)
  • Droit public (1)
  • Electronique (1)
  • Genies des procédés (1)
  • Génie Industriel (1)
  • Génie civil (1)
  • Génie électrique (1)
  • Histoire (1)
  • Hydrologie, hydrochimie, sol, environnement (1)
  • Image, information, hypermédia (1)
  • Informatique et Systèmes embarqués (1)
  • Informatique et applications (1)
  • Informatique temps réel, robotique et automatique (1)
  • Informatique théorique (1)
  • Informatique, temps réel, robotique et automatique (1)
  • Informatique. Intelligence artificielle (1)
  • Intelligence artificielle (1)
  • Mathématiques aux interfaces (1)
  • Mathématiques et informatique (1)
  • Matériaux, Mécanique, Génie civil, Electrochimie (1)
  • Micro et Nano Electronique (1)
  • Mécanique des Fluides (1)
  • Philosophie (métaphysique, épistémologie, esthétique) (1)
  • Physique (1)
  • Physique de l'environnement (1)
  • Physique des Particules (1)
  • Robotique (1)
  • STIC (sciences et technologies de l'information et de la communication) - Cergy (1)
  • Santé publique - épidémiologie (1)
  • Science et technologie de l'information et de la communication (1)
  • Science politique (1)
  • Sciences de gestion (1)
  • Sciences de l'environnement (1)
  • Sciences de l'information et de la communication. Informatique (1)
  • Sciences de l'éducation (1)
  • Sciences du langage (1)
  • Sciences et Technologies de l'Information Géographique (1)
  • Sciences et technologies de l'information et de la communication (1)
  • Systèmes automatiques et micro-électroniques (1)
  • Systèmes embarqués (1)
  • Sûreté de Logiciel et Calcul de Haute Performance (1)
  • Sûreté de Logiciel et Calcul à Haute Performance (1)
  • Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (1)
  • Traitement du signal et télécommunications (1)
  • Vision pour la Robotique (1)
  • Électronique (1)
  • Électronique pour objets connectés (1)
  • Électronique, électrotechnique, automatique (1)
  • Études germaniques (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (54)
  • École doctorale Informatique, télécommunications et électronique (Paris) (24)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (19)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne) (13)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (11)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (9)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (8)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (7)
  • Sciences et Technologies de l'Information et de la Communication (7)
  • École Doctorale Mathématiques, Informatique et Télécommunications (Toulouse) (7)
  • École doctorale en Informatique et Mathématiques de Lyon (7)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (6)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (6)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (5)
  • Ecole doctorale Informatique de Paris-Sud (4)
  • Ecole doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (4)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (4)
  • MATISSE (3)
  • Mathématiques Informatique Télécommunications de Toulouse (3)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (3)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (3)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (3)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (3)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (2)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (2)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (2)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (2)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (2)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (2)
  • École doctorale Sciences pour l'Ingénieur (Lille) (2)
  • École doctorale Systèmes (Toulouse) (2)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (2)
  • Ecole doctorale Langages, Temps, Sociétés (LTS) (Nancy-Metz) (1)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne) (1)
  • Ecole doctorale Sciences, technologies, santé (Reims, Marne) (1)
  • Ecole doctorale sciences et technologies de Versailles (2010-2015) (1)
  • Ecole doctorale sciences sociales et humanités (Pau, Pyrénées Atlantiques) (1)
  • Electronique, Electrotechnique, Automatique, Traitement du Signal (EEATS) (1)
  • IAEM Lorraine (1)
  • Information, Communication, Modélisation et Simulation (1)
  • Laboratoire de mathématiques et d'informatique (Bordeaux) (1)
  • MATHSTIC (1)
  • Mathématiques Hadamard (1)
  • Mathématiques et STIC (MathSTIC) (1)
  • Sciences Mathématiques de Paris Centre (1)
  • Sciences et Technologies de l'Information et Mathématiques (1)
  • Sciences mécaniques et énergétiques, matériaux, géosciences (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École Doctorale de Droit et de Science Politique (Nanterre) (1)
  • École doctorale 537 « Culture et patrimoine » (Avignon) (1)
  • École doctorale Approches interdisciplinaires : fondements, applications et innovation (Palaiseau, Essonne) (1)
  • École doctorale Environnements, Santé (Dijon ; Besançon ; 2012-....) (1)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (1)
  • École doctorale Physique et chimie-physique (Strasbourg) (1)
  • École doctorale Santé Publique (2015-.... ; Kremlin-Bicêtre, Val-de-Marne) (1)
  • École doctorale Sciences de l'environnement (Talence ; Gironde) (1)
  • École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) (1)
  • École doctorale Sciences de la matière (Rennes) (1)
  • École doctorale Sciences de l’univers, de l’environnement et de l’espace (Toulouse) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • École doctorale Sciences et ingénierie (Cergy-Pontoise, Val d'Oise) (1)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges) (1)
  • École doctorale Sciences fondamentales et appliquées (Nice) (1)
  • École doctorale Sciences mécaniques, acoustique, électronique et robotique de Paris (1)
  • École doctorale Sciences physiques mathématiques et de l'Information pour l'ingénieur (Saint-Etienne-du-Rouvray, Seine-Maritime ; ....-2016) (1)
  • École doctorale Sciences économiques, sociales, de l'aménagement et du management (Villeneuve d'Ascq) (1)
  • École doctorale Vie-Agro-Santé (Rennes) (1)
  • École doctorale de Mathématiques et Informatique (Talence ; Gironde) (1)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (1)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne) (1)
  • École doctorale des sciences fondamentales (Clermont-Ferrand) (1)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (1)
  • École doctorale sciences économiques (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (177)
  • français (165)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Barkaoui Kamel (9)
  • Méhaut Jean-François (7)
  • Bensalem Saddek (5)
  • Haar Stefan (5)
  • Oquendo Flavio (5)
  • Baudry Benoit (4)
  • Bozga Dorel Marius (4)
  • Lalanda Philippe (4)
  • Palamidessi Catuscia (4)
  • Antoniu Gabriel (3)
  • Beauquier Joffroy (3)
  • Bougé Luc (3)
  • Cointe Pierre (3)
  • Diguet Jean-Philippe (3)
  • Jalby William (3)
  • Jard Claude (3)
  • Jensen Thomas (3)
  • Sadeg Bruno (3)
  • Santana Miguel (3)
  • Terrier François (3)
  • Valencia Frank (3)
  • Aït-Ameur Yamine (2)
  • Beaumont Olivier (2)
  • Blanch Renaud (2)
  • Charles Henri-Pierre (2)
  • Charoy François (2)
  • Chollet Stéphanie (2)
  • Cohen Albert Henri (2)
  • Combemale Benoît (2)
  • Dubois Catherine (2)
  • Ferrié Jean (2)
  • Fesquet Laurent (2)
  • Goubault Éric (2)
  • Hammad Ahmed (2)
  • Henrio Ludovic (2)
  • Juanole Guy (2)
  • Lang Frédéric (2)
  • Maler Oded (2)
  • Marangozova Vania (2)
  • Mosbah Mohamed (2)
  • Nakagawa Elisa Yumi (2)
  • Petiton Serge (2)
  • Pétrot Frédéric (2)
  • Raynal Michel (2)
  • Roux Olivier F. (2)
  • Rozoy Brigitte (2)
  • Sangiorgi Davide (2)
  • Sentieys Olivier (2)
  • Shapiro Marc (2)
  • Simone Robert de (2)
  • Stefani Jean-Bernard (2)
  • Tata Samir (2)
  • Termier Alexandre (2)
  • Toguyeni Abdoul Karim Armand (2)
  • Vianou Antoine (2)
  • Abiteboul Serge (1)
  • Altisen Karine (1)
  • Andreu David (1)
  • Aniorté Philippe (1)
  • Assad Safwan el- (1)
  • Attali Isabelle (1)
  • Baboulin Marc (1)
  • Bacha Seddik (1)
  • Baelde David (1)
  • Bailleul David (1)
  • Balbiani Philippe (1)
  • Barais Olivier (1)
  • Barbier Franck (1)
  • Barthès Jean-Paul (1)
  • Barucq Hélène (1)
  • Bazex Pierre (1)
  • Belaid Djamel (1)
  • Bellik Yacine (1)
  • Ben Hadj-Alouane Néjib (1)
  • Benoit Anne (1)
  • Bernat i Martí Joan Serafí (1)
  • Berred Alexandre (1)
  • Berruet Pascal (1)
  • Berthomieu Bernard (1)
  • Bertrand Nathalie (1)
  • Bessière Pierre (1)
  • Bidan Christophe (1)
  • Bidoit-Tollu Nicole (1)
  • Bidégaray-Fesquet Brigitte (1)
  • Bimonte Sandro (1)
  • Blazy Sandrine (1)
  • Bodini Olivier (1)
  • Boeva Valentina (1)
  • Boksenbaum Claude (1)
  • Boone Aaron (1)
  • Bouajjani Ahmed (1)
  • Boudol Gérard (1)
  • Bouquet Fabrice (1)
  • Bouraqadi Noury (1)
  • Bourcier Johann (1)
  • Boussinot Frédéric (1)
  • Boyer Anne (1)
  • Brasse David (1)
  • Briday Mikaël (1)
  • Briot Jean-Pierre (1)
  • Brun Armelle (1)
  • Béchennec Jean-Luc (1)
  • Bélec Laurent (1)
  • COLOMB J (1)
  • COUSOT P. (1)
  • Cabot Jordi (1)
  • Cachera David (1)
  • Caillaud Benoît (1)
  • Calley Grégoire (1)
  • Calvin Christophe (1)
  • Canals Gérôme (1)
  • Cani-Gascuel Marie-Paule (1)
  • Caromel Denis (1)
  • Caspi Paul (1)
  • Casseau Emmanuel (1)
  • Cassé Hugues (1)
  • Castellani Ilaria (1)
  • Castelle Bruno (1)
  • Cerri Stefano Alessandro (1)
  • Chanteau Jean-Pierre (1)
  • Chassot Christophe (1)
  • Chbeir Richard (1)
  • Chertov Oleg (1)
  • Chevalier Cédric (1)
  • Chiavelli Alain (1)
  • Choppy Christine (1)
  • Chroboczek Juliusz (1)
  • Clouteau Didier (1)
  • Clément Gilles (1)
  • Coelho Fabien (1)
  • Colazzo Dario (1)
  • Comyn-Wattiau Isabelle (1)
  • Conversy Stéphane (1)
  • Cortesero Anne-Marie (1)
  • Cousineau Guy (1)
  • Couvreur Jean-Michel (1)
  • Crolard Tristan (1)
  • Crégut Xavier (1)
  • Cullot Nadine (1)
  • Curien Pierre-Louis (1)
  • Dal pont Stefano (1)
  • Dang Thao (1)
  • Darondeau Philippe (1)
  • Delaune Stéphanie (1)
  • Delfieu David (1)
  • Delorme Xavier (1)
  • Delosme Jean-Marc (1)
  • Denneulin Yves (1)
  • Derrien Steven (1)
  • Desprez Frédéric (1)
  • Devismes Stéphane (1)
  • Diaz Michel (1)
  • Dinont Cédric (1)
  • Ditmarsch Hans van (1)
  • Dolgui Alexandre (1)
  • Donsez Didier (1)
  • Drira Khalil (1)
  • Duchien Laurence (1)
  • Dufour François (1)
  • Dumas Jean-Guillaume (1)
  • Dupuy-Chessa Sophie (1)
  • Durand Irène (1)
  • Durand Patrick (1)
  • Déforges Olivier (1)
  • Eisenbeis Christine (1)
  • El Fallah Seghrouchni Amal (1)
  • Elloy Jean-Pierre (1)
  • Emad Nahid (1)
  • Estublier Jacky (1)
  • Evangelisti Stefano (1)
  • Exposito Garcia Ernesto José (1)
  • Faivre Bruno (1)
  • Faure Jean-Marc (1)
  • Faye Roger (1)
  • Fayolle Jacques (1)
  • Feret Jérôme (1)
  • Flauzac Olivier (1)
  • Frappier Marc (1)
  • Freire Cunha Paulo Roberto (1)
  • GUYON YVES (1)
  • Gastin Paul (1)
  • Gaubert Stéphane (1)
  • Gava Frédéric (1)
  • Gelas Jean-Patrick (1)
  • Genitrini Antoine (1)
  • Georgantas Nikolaos (1)
  • Gimbert Hugo (1)
  • Girard Antoine (1)
  • Girault Alain (1)
  • Godart Claude (1)
  • Goessler Gregor (1)
  • Goldman Vel Lejbman Alfredo (1)
  • Goubault-Larrecq Jean (1)
  • Goudin David (1)
  • Graf Susanne (1)
  • Guidec Frédéric (1)
  • Gérard Sébastien (1)
  • Habib Michel (1)
  • Haddad Serge (1)
  • Hadj Kacem Ahmed (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (256)
  • Sciences de l'ingénieur (47)
  • Mathématiques (15)
  • Informatique, information, généralités (14)
  • Physique (6)
  • Droit (4)
  • Sciences de la terre (3)
  • Technologie (Sciences appliquées) (3)
  • Médecine et santé (3)
  • Sciences sociales, sociologie, anthropologie (2)
  • Economie (2)
  • Gestion et organisation de l'entreprise (2)
  • Géographie et voyages (2)
  • Bibliothéconomie et sciences de l'information (1)
  • Philosophie, psychologie (1)
  • Science politique (1)
  • Education et enseignement (1)
  • Linguistique générale (1)
  • Langues germaniques. Allemand (1)
  • Chimie, minéralogie, cristallographie (1)
  • Sciences de la vie, biologie, biochimie (1)
  • Agronomie, agriculture et médecine vétérinaire (1)
  • Urbanisme (1)
  • Littérature allemande (1)
  • Histoire moderne et contemporaine de l'Europe (1)
  • Histoire générale de l'Asie, Orient, Extrême-Orient (1)
  • Histoire générale de l'Amérique du Sud (1)

Domaines :

Fullscreen

343 thèses pour Concurrency

The Epistemic View of Concurrency Theory

par Sophia Knight sous la direction de Catuscia Palamidessi - Palaiseau, Ecole polytechnique

Informatique

Soutenue en 2013
thèse soutenue
Accéder en ligne

Study of concurrency in real-time distributed systems

par Sandie Balaguer sous la direction de Stefan Haar - Cachan, Ecole normale supérieure

Informatique

Soutenue le 13-12-2012
thèse soutenue

...timedautomata) and representing them explicitly while preserving the concurrency,and the individual behavior of...

Accéder en ligne

Geometrie du parallelisme

par Éric Goubault sous la direction de P. COUSOT - Palaiseau, Ecole polytechnique

Sciences appliquées

Soutenue en 1995
thèse soutenue

Contrôle de la concurrence dans les grilles informatiques

par Aurélien Ortiz sous la direction de Abdelaziz M'zoughi - Toulouse 3

Informatique

Soutenue en 2009
thèse soutenue
Accéder en ligne

Topologie algébrique dirigée et concurrence

par Emmanuel Régis Lionel Haucourt sous la direction de Éric Goubault - Paris 7

Informatique théorique

Soutenue en 2005
thèse soutenue

Controle de concurrence par gestion des evenements

par Maseud Rahgozar sous la direction de Colette Rolland - Paris 6

Sciences appliquées

Soutenue en 1987
thèse soutenue

Categories de modeles du parallelisme

par REMI MORIN sous la direction de Brigitte Rozoy - Paris 11

Sciences appliquées

Soutenue en 1999
thèse soutenue

Mesures de concurrence et extensions d'intervalles

par Jean-Xavier Rampon sous la direction de Michel Habib - Montpellier 2

Informatique

Soutenue en 1991
thèse soutenue

Systematic use of models of concurrency in executable domain-specific modelling languages

par Florent Latombe sous la direction de Yamine Aït-Ameur et de Xavier Crégut. - Toulouse, INPT

Sureté de Logiciel et Calcul à Haute Performance

Soutenue le 13-07-2016
thèse soutenue

...concffrrence (Models of Concurrency –MoCs). Ils permeentl’étffde analytiqffe de propriétés liées affffi aspects...

Accéder en ligne

Directed homotopy and homology theories for geometric models of true concurrency

par Jérémy Dubut sous la direction de Jean Goubault-Larrecq et de Éric Goubault. - Paris Saclay

Mathématiques et Informatique

Soutenue le 11-09-2017
thèse soutenue

...materials of Chapter 3.Part IModeling ConcurrencyChapter 1Abstract models for true concurrencyIn this...

Accéder en ligne

Résultats 1 à 10