Algèbre de processus

Algèbre de processus
Page d'aide sur l'homonymie 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.


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Algèbre de processus de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • 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. Algèbres de processus : CSP (Communicating sequential processes) CCS LOTOS… …   Wikipédia en Français

  • 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 (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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”