22181 J. Baeten: A brief history of process algebra.
Internet ca. 2004, 17p.

22879 Paolo Baldan/Andrea Corradini/Hartmut Ehrig/Reiko Heckel: Compositional
semantics for open Petri nets based on deterministic processes.
Math. Struct. Comp. Science 15 (2005), 1-35.

26531 Luca Bernardinello/Lucia Pomello/Stefania Rombola': Orthomodular lattices induced
by the concurrency relations. Internet 2009, 10p.

22147 Wan Fokkink: Introduction to process algebra.
Springer 2007, 170p.

22155 Wan Fokkink: Process algebra - an algebraic theory of
concurrency. Internet 2008, 32p.

18780 C. Hoare: Communicating sequential processes.
Internet 2004, 260p.

22191 Bas Luttik: What is algebraic in process theory?
El. Notes Theor. Comp. Sci. 162 (2006), 227-231.

Peter Rittgen: Prozeßtheorie der Ablaufplanung.
Teubner 1998, 260p. 3-8154-2606-5. DM 66. Algebraische Modellierung von
Prozessen, Ressourcenrestriktionen und Zeit. Für die Prozeßtheorie
wird ein prozeßalgebraischer Ansatz gewählt.

18764 Marco Thomas: Nebenläufigkeit im Schulfach Informatik.
Internet 1998, 18p.