From post

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.

 

Другие публикации лиц с тем же именем

Intermittent Assertion Proofs in Lucid., и . IFIP Congress, стр. 723-726. (1977)Lucid, a Nonprocedural Language with Iteration., и . 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., и . SIAM J. Comput., 4 (2): 125-146 (1975)Dataflow and Education: Data-driven and Demand-driven Distributed Computation.. Current Trends in Concurrency, том 224 из Lecture Notes in Computer Science, Springer, (1986)Some common misconceptions about Lucid., и . ACM SIGPLAN Notices, 15 (10): 15-26 (1980)Clauses: Scope Structures and Defined Functions in Lucid., и . POPL, стр. 17-22. ACM Press, (1978)The Translation of 'Go To' Programs to 'While' Programs., и . IFIP Congress (1), стр. 250-255. North-Holland, (1971)Fault Tolerance in Parallel Implementations of Functional Languages., и . FTCS, стр. 256-265. IEEE Computer Society, (1991)Performance Analysis of Mobile Wireless ATM Networks., и . PDPTA, CSREA Press, (2000)