Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Intermittent Assertion Proofs in Lucid., und . IFIP Congress, Seite 723-726. (1977)Lucid, a Nonprocedural Language with Iteration., und . Commun. ACM, 20 (7): 519-526 (1977)Proving Assertions about Parallel Programs.. J. Comput. Syst. Sci., 10 (1): 110-135 (1975)Translating Program Schemas to While-Schemas., und . SIAM J. Comput., 4 (2): 125-146 (1975)Fault Tolerance in Parallel Implementations of Functional Languages., und . FTCS, Seite 256-265. IEEE Computer Society, (1991)The Translation of 'Go To' Programs to 'While' Programs., und . IFIP Congress (1), Seite 250-255. North-Holland, (1971)Clauses: Scope Structures and Defined Functions in Lucid., und . POPL, Seite 17-22. ACM Press, (1978)Some common misconceptions about Lucid., und . ACM SIGPLAN Notices, 15 (10): 15-26 (1980)Dataflow and Education: Data-driven and Demand-driven Distributed Computation.. Current Trends in Concurrency, Volume 224 von Lecture Notes in Computer Science, Springer, (1986)Performance Analysis of Mobile Wireless ATM Networks., und . PDPTA, CSREA Press, (2000)