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.

 

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

Compositional Specifications of Parallel Programs: NondeterministicData Flow., и . Specification of Parallel Algorithms, том 18 из DIMACS Series in Discrete Mathematics and Theoretical Computer Science, стр. 51-63. DIMACS/AMS, (1994)Workshop on Formal Methods for Parallel Programming (FMPPTA 2000)., и . IPDPS Workshops, том 1800 из Lecture Notes in Computer Science, стр. 974-976. Springer, (2000)Stepwise Refinement of Mixed Specifications of Concurrent Programs.. Programming Concepts and Methods, стр. 1-26. North-Holland, (1990)Assertional reasoning about data races in relaxed memory models., и . PPoPP, стр. 267-268. ACM, (2008)Patterns for parallel programming, , и . Addison-Wesley, Boston, (2005)SIPMaP: A Tool for Modeling Irregular Parallel Computations in the Super Instruction Architecture., , , и . IPDPS, стр. 874-884. IEEE Computer Society, (2013)From Persistent Objects to Object Transmission in Distributed Systems Using Oberon, и . Software - Concepts and Tools, 16 (1): 12--19 (1995)Design of communication protocols using a message transfer pattern., , и . Int. J. Commun. Syst., 18 (5): 465-485 (2005)Workshop Introduction., и . IPDPS, IEEE Computer Society, (2002)An Incentive Compatible Flow Control Algorithm for Fair Rate Allocation in Computer/Communication Networks.. ICDCS, стр. 314-320. IEEE Computer Society, (1986)