D. Mulholland < D. Méry < D. N. Trubnikov

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by D. Méry

Number of relevant bibliographic references: 29.
[0-20] [0 - 20][0 - 29][20-28][20-40]

Ident.	Authors (with country if any)	Title
006113 (2005)	D. Galmiche [France] ; D. Méry [France] ; D. Pym [Royaume-Uni, France]	The semantics of BI and resource tableaux
009291 (2001)	D. Larchey-Wendling [France] ; D. Méry [France] ; Didier Galmiche [France]	STRIP: Structural Sharing for Efficient Proof-Search
00C299 (1995)	A. Mokkedem ; D. Méry	On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems
00CA03 (1994)	D. Méry ; D. Roegel	Refining Formal Specifications to Get Efficient, and Correct Concurrent Programs
00CA50 (1994)	A. Mokkedem ; D. Méry	A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs
00CE43 (1993)	D. Méry	Une méthode de raffinement et de développement pour la programmation parallèle - Contribution à l'étude du raffinement de programmes parallèles - Une approche fondée sur le concept de preuve
00CF08 (1993)	A. Mokkedem ; D. Méry	On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems
00CF57 (1993)	A. Mokkedem ; D. Méry	On Using a Composition Principle to Design Parallel Programs
00CF85 (1993)	N. Brown ; D. Méry	Towards an Integrated Environment for Concurrent Programs Development
00D016 (1993)	N. Brown ; D. Méry	A Proof Environment for Concurrent Programs
00D083 (1993)	N. Brown ; D. Méry	Formal Development of C-Linda Programs
00D352 (1992)	D. Méry ; A. Mokkedem	Crocos : an integrated environment for interactive verification of SDL specifications
00D356 (1992)	D. Méry ; A. Mokkedem	Crocos : un environnement de preuve interactive de spécifications sdl
00D367 (1992)	D. Méry	Tne NU System as a Development System for Concurrent Programs : delta NU
00D398 (1992)	N. Brown ; D. Méry	Deriving Occam Programs through the Refinement of Unity-like Specifications
00D464 (1992)	N. Brown ; D. Méry	Computer-Aided Environment for the Development of Concurrent Programs
00D488 (1992)	F. Carrez ; D. Méry	Specification and derivation of process networks
00D496 (1992)	D. Méry	Proving and developing concurrent programs : a small system
00D536 (1992)	D. Méry ; A. Mokkedem ; D. Roegel	CROCOS : un environnement de preuve interactive de spécifications SDL
00D864 (1991)	N. Brown ; D. Méry	Deriving OCCAM Programs through the Transformation of UNITY-like Specifications
00D949 (1991)	D. Méry ; A. Mokkedem	A Proof Environment for a Subset of SDL

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "D. Méry" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "D. Méry" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    D. Méry
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022