concurrence < concurrency < concurrency distributed system application

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 concurrency

Number of relevant bibliographic references: 37.
[0-20] [0 - 20][0 - 37][20-36][20-40]

Ident.	Authors (with country if any)	Title
004E36 (2007)	Gilles Barthe [France] ; Leonor Prensa Nieto [France]	Secure Information Flow for a Concurrent Language with Scheduling
005D13 (2005)	Jean-Raymond Abrial ; Dominique Cansell [France]	Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity)
006525 (2005)	Jean-Raymond Abrial [Suisse] ; Dominique Cansell [France]	Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity)
006587 (2004-10-29)	Gilles Barthe [France] ; Leonor Prensa Nieto [France]	Formally Verifying Information Flow Type Systems for Concurrent and Thread Systems
006950 (2004)	Leonor Prensa-Nieto ; Gilles Barthe	Formally Verifying Information Flow Type Systems for Concurrent and Thread Systems
007402 (2003)	Antoine Reilles	Réécriture dans un cadre concurrent
007414 (2003)	Francois Lamarche	Vers une Géométrie Symbolique
007706 (2003)	Denis Roegel	Solving Layout Problems Concurrently With TeX and Java
007D52 (2003)	Denis Roegel [France]	Solving Layout Problems Concurrently With TeX and Java
008325 (2002)	Alexander Bockmayr ; Arnaud Courtois	Using hybrid concurrent constraint programming to model dynamic biological systems
008572 (2002)	Alexander Bockmayr ; Arnaud Courtois	Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides
00A383 (1999)	Dominique Méry [France]	Special Issue FMPPTA'98
00A620 (1999)	Stefan Haar	On Occurrence Net Semantics of Petri Nets
00A819 (1999)	Stefan Haar	Occurrence Net Logics
00B061 (1998)	Guy Perrier	Concurrent Programming as Proof Net Construction
00BA52 (1997)	Denis Roegel	Detecting interference through graph reduction
00BA61 (1997)	Didier Galmiche ; Raphaël Couturier	Guarded Commands and Proofs in Linear Logic
00BA63 (1997)	Denis Roegel	Study of the Semantics of ``Real'' Parallel Languages in TLA
00BE10 (1996)	J. Moh Si ; André Schaff	Equivalence Semantics
00BE70 (1996)	J. Moh Si	Using Equivalences in the System Interconnection
00C165 (1996)	Claude Kirchner [France] ; Christopher Lynch ; Christelle Scharff	A Fine-Grained Concurrent Completion Procedure

---

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/KwdEn.i -k "concurrency" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i  \
                -Sk "concurrency" \
         | 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=    KwdEn.i
   |clé=    concurrency
}}

---

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