Author of the publication

Addenda and Corrigenda: Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes

, and . Acta Inf., (1977)see: Acta Informatika 5: 297-332 (1975).

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

Leveraging Social-Network Infrastructure to Improve Peer-to-Peer Overlay Performance: Results from Orkut, , , , , and . CoRR, (2005)Addenda and Corrigenda: Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes, and . Acta Inf., (1977)see: Acta Informatika 5: 297-332 (1975).Communication Scheduling as a First-Class Citizen in Distributed Machine Learning Systems., , and . CoRR, (2018)Toward Scalable Machine Learning and Data Mining: the Bioinformatics Case., , , , , and . CoRR, (2017)Latest Developments in Operating Systems (Introduction to the Special Section)., and . Commun. ACM, 39 (9): 38-40 (1996)ARIA: automatic resource inference and allocation for mapreduce environments., , and . ICAC, page 235-244. ACM, (2011)Lightning: self-adaptive, energy-conserving, multi-zoned, commodity green cloud storage system., , , and . HPDC, page 332-335. ACM, (2010)View-dependent real-time 3d video compression for mobile devices., , and . ACM Multimedia, page 781-784. ACM, (2008)Real-time remote rendering of 3D video for mobile devices., , , and . ACM Multimedia, page 391-400. ACM, (2009)A Middleware-Based Application Framework for Active Space Applications., and . Middleware, volume 2672 of Lecture Notes in Computer Science, page 433-454. Springer, (2003)