Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On the formal definition of dependencies between the control and information structure of a data space, and . Theoretical Computer Science, 5 (2): 113 - 128 (1977)On the Relationship between a Procedure and its Data., and . MFCS, volume 45 of Lecture Notes in Computer Science, page 250-254. Springer, (1976)The Semantical Definition of Programming Languages in Terms of Their Data Spaces., and . Fachtagung über Programmiersprachen, volume 1 of Informatik-Fachberichte, page 1-11. Springer, (1976)Functional behavior in data spaces, and . Acta Informatica, 9 (4): 293-307 (1978)Applicative State Transition Systems in LISP-Like Notation., and . GI Jahrestagung, volume 73 of Informatik-Fachberichte, page 51-66. Springer, (1983)Mutual Exclusion of N Processors Using an O(N)-Valued Message Variable (Extended Abstract)., and . ICALP, volume 62 of Lecture Notes in Computer Science, page 165-176. Springer, (1978)Arbitration and Queuing Under Limited Shared Storage Requirements (Preliminary Report)., and . ICALP, volume 71 of Lecture Notes in Computer Science, page 147-160. Springer, (1979)Axioms for Concurrent Processes., and . New Results and New Trends in Computer Science, volume 555 of Lecture Notes in Computer Science, page 54-68. Springer, (1991)Data spaces with indirect addressing, and . Mathematical systems theory, 12 (1): 151-173 (1978)On the Formal Definiton of Dependencies between the Control and Information Structure of a Data Space., and . Theor. Comput. Sci., 5 (2): 113-128 (1977)