HarperCollinsHarperCollins est une maison d'édition américaine appartenant au groupe News Corp, dont le siège social est à New York. James Harper et son frère John, des imprimeurs, commencent leur activité d'éditeurs en 1817. Leurs deux frères, Joseph Wesley et Fletcher, les rejoignent au milieu des années 1820. La société devient « Harper & Brothers » en 1833. Le siège social de la maison d'édition est au 331 Pearl Street, en face de ce qui est alors Franklin Square à Manhattan.
Communicating sequential processesEn programmation concurrente, Communicating sequential processes (CSP) est une algèbre de processus permettant de modéliser l'interaction de systèmes. CSP intègre un mécanisme de synchronisation basé sur le principe du rendez-vous (détaillé plus loin au travers de la commande d'entrée/sortie). Combinant ce mécanisme à une syntaxe simple et concise, CSP permet l'implémentation rapide des paradigmes classiques de la concurrence, tels que producteurs/consommateurs ou lecteurs/écrivains.
Algebra of communicating processesThe algebra of communicating processes (ACP) is an algebraic approach to reasoning about concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras or process calculi. ACP was initially developed by Jan Bergstra and Jan Willem Klop in 1982, as part of an effort to investigate the solutions of unguarded recursive equations.
Penguin BooksPenguin Books est une maison d’édition britannique fondée en 1936 à Londres par Allen Lane et V. K. Krishna Menon. Le succès auprès du public de leurs livres de poches bon marché fut important, montrant ainsi que les livres sérieux pouvaient toucher une large audience. Ils ont également eu un impact notable sur le débat public en Grande-Bretagne au travers de publications ayant pour sujet la politique, l'art, et la science. Penguin Books est une division de Penguin Random House, elle-même propriété du groupe Bertelsmann.
