Algebre de processus
- Algebre de processus
-
Algèbre de processus
Les algèbres de processus sont une famille de langages formels permettant de modéliser les systèmes (informatiques) concurrents ou distribués.
Catégorie : Méthode formelle
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Algebre de processus de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Algèbre De Processus — Les algèbres de processus sont une famille de langages formels permettant de modéliser les systèmes (informatiques) concurrents ou distribués. Algèbres de processus : CSP (Communicating sequential processes) CCS LOTOS (Language Of Temporal… … Wikipédia en Français
Algèbre de processus — Pour les articles homonymes, voir Algèbre (homonymie). Les algèbres de processus sont une famille de langages formels permettant de modéliser les systèmes (informatiques) concurrents ou distribués. Algèbres de processus : CSP (Communicating… … Wikipédia en Français
Algèbre (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Le mot « algèbre » vient de l arabe ’al ǧabr (« réduction »), désignant une technique de chirurgie des membres puis une technique de… … Wikipédia en Français
ALGÈBRE — L’algèbre au sens moderne, à savoir l’étude des structures algébriques indépendamment de leurs réalisations concrètes, ne s’est dégagée que très progressivement au cours du XIXe siècle, en liaison avec le mouvement général d’axiomatisation de… … Encyclopédie Universelle
Algèbre Nouvelle — L’algèbre nouvelle ou analyse spécieuse est un projet de formalisation de l’algèbre tenté par François Viète et ses successeurs. Il marque le début de la formalisation algébrique (fin XVIe début XVIIe siècle). Sommaire 1 Idées générales 2 … Wikipédia en Français
Algèbre matricielle — L algèbre matricielle est une branche des mathématiques qui étudie les matrices. Initialement une sous branche de l algèbre linéaire, elle a grandi jusqu à couvrir des sujets liés à la théorie des graphes, l algèbre combinatoire et les… … Wikipédia en Français
Processus stochastique — Pour les articles homonymes, voir Processus. Le calcul classique des probabilités concerne des épreuves où chaque résultat possible (ou réalisation) est mesuré par un nombre, ce qui conduit à la notion de variable aléatoire. Un processus… … Wikipédia en Français
Algèbre géométrique — Pour les articles homonymes, voir Algèbre (homonymie) et notamment la structure mathématique d algèbre géométrique. Paul Tannery popularise l expression algèbre géométrique. En mathématiques, l’algèbre géométrique regroupe … Wikipédia en Français
Algèbre nouvelle — Page couverture de l Opera Mathematica publié à Leyde en 1646 par Bonaventure et Abraham Elzevier. Pour les articles homonymes, voir … Wikipédia en Français
Algèbre d'ensembles — Pour les articles homonymes, voir Algèbre (homonymie). Définition Une algèbre d ensembles est un ensemble de parties d un ensemble X qui vérifie : n … Wikipédia en Français