method for describing concurrent problems based on logic
Subtitle: by Georg Winterstein, Manfred Dausmann (and)Guido Persch.
Contributors: Dausmann, Manfred.; Persch, Guido.
Series: Bericht (Universität Karlsruhe. Fakultät für Informatik) -- 10/80
Publisher: Institut für Informatik 2
Published: 1980
Place of publication: Karlsruhe
Language: eng
Number of pages: 18