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.

 

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

ClusterGrind: Valgrinding LAM/MPI Applications., и . PVM/MPI, том 3666 из Lecture Notes in Computer Science, стр. 325-332. Springer, (2005)Reasoning about effects: from lists to cyber-physical agents., и . Logical Methods in Computer Science, (2019)A Theory of Classes for a Functional Language with Effects., , , и . CSL, том 702 из Lecture Notes in Computer Science, стр. 309-326. Springer, (1992)References, Local Variables and Operational Reasoning, и . LICS, стр. 186-197. IEEE Computer Society, (1992)Axiomatizing Operational Equivalence in the Presence of Side Effects, и . LICS, стр. 284-293. IEEE Computer Society, (1989)Extraction of events from 3D volumes of seismic data., , , и . ICPR (3), стр. 128-130. IEEE, (1994)Seismic Time Section Analysis Using Machine Vision., , и . BMVC, стр. 1-10. BMVA Press, (1993)A Foundation for Actor Computation., , , и . Journal of Functional Programming, 7 (1): 1-72 (1997)Program Transformation via Contextual Assertions., и . Logic, Language and Computation, том 792 из Lecture Notes in Computer Science, стр. 225-254. Springer, (1994)Actor Languages Their Syntax, Semantics, Translation, and Equivalence., и . Theor. Comput. Sci., 220 (2): 409-467 (1999)