Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
Sign in
Sign in
Sign in with ORCID
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Home
Submit
Browse
Last submissions
By publication type
By subject
By publication date
By structure
HAL repositories
Collections
Search
Documentation
hal-00005601, version 1
Formal Proofs of Functional BSP Programs
Frédéric Gava
1
Details
1
LACL - Laboratoire d'Algorithmique Complexité et Logique
Frédéric Gava
1
AuthorId : 53588
Author
1
LACL - Laboratoire d'Algorithmique Complexité et Logique
(Dép.d'informatique Bat.P2 61,avenue du général de Gaulle 94010 CRETEIL CEDEX - France)
StructId : 1662
UPEC UP12 - Université Paris-Est Créteil Val-de-Marne - Paris 12
(61 avenue du Général de Gaulle - 94010 Créteil cedex - France)
StructId : 420786
CNRS - Centre National de la Recherche Scientifique
: FRE2673
(France)
StructId : 441569
Hide details
Document type
:
Journal articles
Liste complète des métadonnées
Display
Hide
https://hal.archives-ouvertes.fr/hal-00005601
Contributor :
Loulergue Frédéric
<
>
Submitted on : Friday, June 24, 2005 - 10:20:28 PM
Last modification on : Thursday, January 11, 2018 - 6:19:28 AM
Identifiers
HAL Id :
hal-00005601, version 1
Collections
LACL
|
UPEC
|
UPEC-UPEM
Citation
Frédéric Gava. Formal Proofs of Functional BSP Programs.
Parallel Processing Letters
, World Scientific Publishing, 2003, 13, pp.365-376.
⟨hal-00005601⟩
Export
BibTeX
TEI
DC
DCterms
EndNote
Share
Metrics
Record views
46
