( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Proof Technique for Communicating Sequential Processes.

, и . Acta Inf., (1981)

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.

Alexander Gary

Klaus Gary

Regina Gary

Bente Gary

Max Gary

 

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

A Proof Technique for Communicating Sequential Processes., и . Acta Inf., (1981)Proof rules for Communicating Sequential Processes.. Cornell University, USA, (1980)Enabling Distributed Management for Dynamic Airborne Networks., , , , , , , и . POLICY, стр. 102-105. IEEE Computer Society, (2009)Policy-Based Mobile Ad Hoc Network Management., , , , , , и . POLICY, стр. 35-44. IEEE Computer Society, (2004)PECAN: Policy-Enabled Configuration Across Networks., , , , , , , , , и 1 other автор(ы). POLICY, стр. 52-62. IEEE Computer Society, (2003)Evaluation of the Surveillance, Epidemiology, and End Results Data Management System (SEER*DMS) to support the efforts in enhancing U.S cancer surveillance., , , , , и . AMIA, AMIA, (2017)Computing Fibonacci Numbers (and Similarly Defined Functions) in Log Time., и . Inf. Process. Lett., 11 (2): 68-69 (1980)On-the-fly Deadlock Prevention., и . PODC, стр. 165-172. ACM, (1982)Service Brokering and Mediation: Enabling Next Generation Market and Customer Driven Service Delivery., , , и . ISADS, стр. 525-530. IEEE Computer Society, (2011)Assignment and Procedure Call Proof Rules., и . ACM Trans. Program. Lang. Syst., 2 (4): 564-579 (1980)