Dynamic synchrony among atomic actionsROMAN, G.-C; PLUN, J. Y; WILCOX, C. D et al.IEEE transactions on parallel and distributed systems. 1993, Vol 4, Num 6, pp 677-685, issn 1045-9219Article

The performance of current B-tree algorithms = La performance des algorithmes courants des B-arbresJOHNSON, T; SHASHA, D.ACM transactions on database systems. 1993, Vol 18, Num 1, pp 51-101, issn 0362-5915Article

Defining concurrent processes constructivelyTAKAYAMA, Y.Theoretical computer science. 1994, Vol 122, Num 1-2, pp 137-164, issn 0304-3975Conference Paper

Systèmes de processus légers: concepts et exemples = Thread processus: concepts and examplesDEMEURE, I; FARHAT, J.TSI. Technique et science informatiques. 1994, Vol 13, Num 6, pp 765-795, issn 0752-4072Article

Atomic semantics of nonatomic programsANDERSON, J. H; GOUDA, M. G.Information processing letters. 1988, Vol 28, Num 2, pp 99-103, issn 0020-0190Article

Objets à contrôle réactif : Un modèle de conception pour applications concurrentes = Reactive controlled objects : A design model for concurrent applicationsAUGERAUD, M; BERTRAND, F.TSI. Technique et science informatiques. 1999, Vol 18, Num 8, pp 871-899, issn 0752-4072Article

Conseil de la concurrence: activité soutenue en 1993BOUCHER, L.Le Moniteur des travaux publics et du bâtiment. 1994, Num 4728, issn 0026-9700, 2 p.Article

New NP-complete problems in performance evaluation of concurrent systems using Petri netsMAGOTT, J.IEEE transactions on software engineering. 1987, Vol 13, Num 5, pp 578-581, issn 0098-5589Article

De la compétence du Conseil de la ConcurrenceFONTAINE, D.Petites Affiches (Les). 1989, Num 88, pp 6-9Article

Streamlining progress-based derivations of concurrent programsDONGOL, Brijesh; MOOIJ, Arjan J.Formal aspects of computing. 2008, Vol 20, Num 2, pp 141-160, issn 0934-5043, 20 p.Article

Neuvième rapport d'activité ― Année 1995Journal officiel de la République française. Document administratif. 1996, Num 18, issn 0242-6773, 500 p., , ann. (452 p.)Report

Marchés: l'équilibre entre sous-traitance et droit de la concurrenceCOURIVAUD, H.Le Moniteur des travaux publics et du bâtiment. 1996, Num 4827, pp 48-50, issn 0026-9700Article

The development of a parallel N-body code for the Edinburgh concurrent supercomputerSWEATMAN, W. L.Journal of computational physics (Print). 1994, Vol 111, Num 1, pp 110-119, issn 0021-9991Article

La consultation du Conseil de la concurrence sur les textes législatifs et réglementaires anti-concurrentielsCHEROT, Y.Recueil Dalloz Sirey de doctrine de jurisprudence et de législation. 1995, Num 31, issn 0034-1835, p. 233 chroniqueArticle

L'activité du Conseil de la concurrence en 1990IDOT, L.Recueil Dalloz Sirey de doctrine de jurisprudence et de législation. 1991, Num 42, pp 289-300, issn 0034-1835, chroniqueArticle

An action-based formal model for concurrent real-time systemsFIDGE, C. J; WELLINGS, A. J.Formal aspects of computing. 1997, Vol 9, Num 2, pp 175-207, issn 0934-5043Article

Bounded delay for a free addressHESSELINK, W. H.Acta informatica. 1996, Vol 33, Num 3, pp 233-254, issn 0001-5903Article

Control predicates are better than dummy variables for reasoning about program controlLAMPORT, L.ACM transactions on programming languages and systems. 1988, Vol 10, Num 2, pp 267-281, issn 0164-0925Article

Characterizing finite Kripke structures in propositional temporal logicBROWNE, M. C; CLARKE, E. M; GRÜMBERG, O et al.Theoretical computer science. 1988, Vol 59, Num 1-2, pp 115-131, issn 0304-3975Conference Paper

Undermatching and overmatching as deviations from the matching lawWEARDEN, J. H.Journal of the experimental analysis of behavior. 1983, Vol 40, Num 3, pp 333-339, issn 0022-5002Article

L'Etat devant le conseil de la concurrence (décision du conseil de la concurrence du 29 mai 1991)MONSALLIER, M.-C; DRAGO, R.sd, 12 p.Thesis

Le droit de la concurrence sert-il l'intérêt du consommateur ?BIENAYMÈ, A.Problèmes économiques (Paris). 1996, Num 2487, pp 20-25, issn 0032-9304Article

Bilan de l'activité du Conseil de la concurrence en 1995PICARD.LES NOTES BLEUES DE BERCY. 1996, Num 96, 8 p., Comptes et agents économiquesArticle

Septième rapport d'activité. Année 1993Journal officiel de la République française. Document administratif. 1995, Num 5, issn 0242-6773, 315 p., ann. (261 p.)Report

Global serializability of concurrent programsBERARD, B.Theoretical computer science. 1994, Vol 124, Num 1, pp 41-70, issn 0304-3975Article