HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am.
More information
Skip to Main content
Skip to Navigation
Toggle navigation
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Free and accessible knowledge
Home
Submit
Browse
Last submissions
By publication type
By subject
By publication date
By structure
HAL repositories
Search
Documentation
hal-00005601, version 1
Journal articles
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
Complete list of metadata
Display
https://hal.archives-ouvertes.fr/hal-00005601
Contributor :
Loulergue Frédéric
Connect in order to contact the contributor
Submitted on : Friday, June 24, 2005 - 10:20:28 PM
Last modification on : Friday, March 11, 2022 - 3:10:07 PM
Identifiers
HAL Id :
hal-00005601, version 1
Collections
LACL
|
CNRS
|
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
Datacite
Share
Metrics
Record views
19