CPL : un modèle logique du calcul parallèle
Identifieur interne : 00CB12 ( Main/Merge ); précédent : 00CB11; suivant : 00CB13CPL : un modèle logique du calcul parallèle
Auteurs : G. PerrierSource :
English descriptors
- KwdEn :
Abstract
Avec CPL, nous proposons un modèle logique du calcul parallèle qui s'inscrit dans la lignée des calculs de processus. Pour cela, nous avons choisi le cadre de la logique linéaire bien adaptée à l'expression de la notion de changement d'état. Les processus y sont représentés par des formules logiques et les calculs de processus se traduisent alors par des preuves en logique linéaire : à travers celles-ci, la communication par passage de messages peut ainsi être exprimée sous une forme asynchrone. Une originalité de CPL est qu'il permet de représenter à un niveau logique la notion d'interface d'un système informatique ; les ressources de la théorie de la preuve peuvent ensuite être utilisées pour définir un calcul sur les interfaces.
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 001891
- to stream Crin, to step Curation: 001891
- to stream Crin, to step Checkpoint: 002A67
Links to Exploration step
CRIN:perrier95cLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="fr" wicri:score="-13">CPL : un modèle logique du calcul parallèle</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:perrier95c</idno>
<date when="1995" year="1995">1995</date>
<idno type="wicri:Area/Crin/Corpus">001891</idno>
<idno type="wicri:Area/Crin/Curation">001891</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">001891</idno>
<idno type="wicri:Area/Crin/Checkpoint">002A67</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">002A67</idno>
<idno type="wicri:Area/Main/Merge">00CB12</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="fr">CPL : un modèle logique du calcul parallèle</title>
<author><name sortKey="Perrier, G" sort="Perrier, G" uniqKey="Perrier G" first="G." last="Perrier">G. Perrier</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>linear logic</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="fr" wicri:score="-1934">Avec CPL, nous proposons un modèle logique du calcul parallèle qui s'inscrit dans la lignée des calculs de processus. Pour cela, nous avons choisi le cadre de la logique linéaire bien adaptée à l'expression de la notion de changement d'état. Les processus y sont représentés par des formules logiques et les calculs de processus se traduisent alors par des preuves en logique linéaire : à travers celles-ci, la communication par passage de messages peut ainsi être exprimée sous une forme asynchrone. Une originalité de CPL est qu'il permet de représenter à un niveau logique la notion d'interface d'un système informatique ; les ressources de la théorie de la preuve peuvent ensuite être utilisées pour définir un calcul sur les interfaces.</div>
</front>
</TEI>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00CB12 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 00CB12 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Merge |type= RBID |clé= CRIN:perrier95c |texte= CPL : un modèle logique du calcul parallèle }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |