( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
GEM: A Tool for Concurrency Specification and Verification.

, и . PODC, стр. 198-212. ACM, (1983)

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.

Astrid Sunarti Susanto-Sunario

Timotius Susantija

Yeni Susanti

Heru Susanto

Alfonsus Budi Susanto

 

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

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