@doctoralThesis{Niehren_1994, title={Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen}, author={Niehren, Joachim}, doi={http://dx.doi.org/10.22028/D291-25726}, subtitle={Functional Computation in a Uniformly Concurrent Calculus}, year={1994} }