( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Submodule construction from concurrent system specifications.

, и . Inf. Softw. Technol., 41 (8): 499-506 (1999)

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.

Asadollah Haghverdi

Esfandiar Tadayon

Esfandiar Shahrestani

Esfandiar Khorsandian

Esfandiar Tabari

 

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

Towards a Typed Geometry of Interaction., и . CSL, том 3634 из Lecture Notes in Computer Science, стр. 216-231. Springer, (2005)Typed GoI for Exponentials.. ICALP (2), том 4052 из Lecture Notes in Computer Science, стр. 384-395. Springer, (2006)Bisimulation Relations for Dynamical and Control Systems., , и . CTCS, том 69 из Electronic Notes in Theoretical Computer Science, стр. 120-136. Elsevier, (2002)A categorical model for the geometry of interaction., и . Theor. Comput. Sci., 350 (2-3): 252-274 (2006)Submodule construction from concurrent system specifications., и . Inf. Softw. Technol., 41 (8): 499-506 (1999)Verification by consecutive projections., и . FORTE, том C-10 из IFIP Transactions, стр. 465-478. North-Holland, (1992)A recursive process algebra for queues., , , и . FORTE, том C-22 из IFIP Transactions, стр. 285-300. North-Holland, (1993)Towards a typed Geometry of Interaction., и . Math. Struct. Comput. Sci., 20 (3): 473-521 (2010)A Categorical Model for the Geometry of Interaction., и . ICALP, том 3142 из Lecture Notes in Computer Science, стр. 708-720. Springer, (2004)Partially Additive Categories and Fully Complete Models of Linear Logic.. TLCA, том 2044 из Lecture Notes in Computer Science, стр. 197-216. Springer, (2001)