( en | de | ru )

 

Disambiguierung von "Owicki, Susan S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Factors in the Performance of the AN1 Computer Network.

, und . SIGMETRICS, Seite 167-180. ACM, (1992)

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.

Astrid Sunarti Susanto-Sunario

Yeni Susanti

Timotius Susantija

Heru Susanto

Alfonsus Budi Susanto

 

Weitere Publikationen von Autoren mit dem selben Namen

Proving Liveness Properties of Concurrent Programs., und . ACM Trans. Program. Lang. Syst., 4 (3): 455-495 (1982)On the Use of Optimistic Methods for Concurrency Control in Distributed Databases., und . Berkeley Workshop, Seite 117-129. Technical Information Department, Lawrence Berkeley Laboratory, University of California, Berkeley CA, (1982)A Model and Temporal Proof System for Networks of Processes., , und . POPL, Seite 121-131. ACM Press, (1985)GEM: A Tool for Concurrency Specification and Verification., und . PODC, Seite 198-212. ACM, (1983)Verifying parallel programs with resource allocation.. Mathematical Studies of Information Processing, Volume 75 von Lecture Notes in Computer Science, Seite 151-164. Springer, (1978)Modular Verification of Computer Communication Protocols., und . IEEE Trans. Commun., 31 (1): 56-68 (1983)Axiomatic Proof Techniques for Parallel Programs.. Cornell University, USA, (1975)Panel Discussion., , , und . COMPCON, Seite 235-236. IEEE Computer Society, (1982)Modular Verification of Concurrent Programs., und . POPL, Seite 322-336. ACM Press, (1982)A Perspective on AN2: Local Area Network as Distributed System.. PODC, Seite 1-11. ACM, (1993)