Generating Processes from Specifications using the Relation Manipulation System RelView

Freyd, 1990 Hutton, 1992, Higher-order Functions for Parsing, Journal of Functional Programming, 2, 323, 10.1017/S0956796800000411 Milner, 1989 Schmidt, 1997, Heterogeneous Relation Algebras, 45 Schmidt G., Ströhlein T.: Relationen und Graphen. Springer (1989); English version: Relations and Graphs. Discrete Mathematics for Computer Scientists, EATCS Monographs on Theoret. Comput. Sci., Springer (1993) Winskel G.: Synchronization Trees. Theoret. Comput. Sci. 34, (1984) Winter M.: Strukturtheorie heterogener Relationenalgebren mit Anwendung auf Nichtdetermismus in Programmiersprachen, Disser-tationsverlag NG Kopierladen GmbH, München, (1998). Winter M., Kempf P.: Relational Semantics for Processes, Report Nr. 1998-01, Fakultät für Informatik, Universiät der Bundeswehr München, (1998) Winter, 2001, Processes as Relations, Vol. 65