( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Playing with Our CAT and Communication-Centric Applications.

, , , и . FORTE, том 9688 из Lecture Notes in Computer Science, стр. 62-73. Springer, (2016)

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.

Emilio Voigt

Emilio Francesquini

Emilio Vallina

Emilio Serra

Emilio Giannandrea

 

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

On Formal Choreographic Modelling: A Case Study in EU Business Processes., , , , и . ISoLA (1), том 13701 из Lecture Notes in Computer Science, стр. 205-219. Springer, (2022)A Java Inspired Semantics for Transactions in SOC., и . TGC, том 6084 из Lecture Notes in Computer Science, стр. 120-134. Springer, (2010)Multiparty Sessions in SOC., , , и . COORDINATION, том 5052 из Lecture Notes in Computer Science, стр. 67-82. Springer, (2008)BPMN Modelling of Services with Dynamically Reconfigurable Transactions., , , и . ICSOC, том 6470 из Lecture Notes in Computer Science, стр. 396-410. (2010)From Theory to Practice in Transactional Composition of Web Services., , , , , и . EPEW/WS-FM, том 3670 из Lecture Notes in Computer Science, стр. 272-286. Springer, (2005)Playing with Our CAT and Communication-Centric Applications., , , и . FORTE, том 9688 из Lecture Notes in Computer Science, стр. 62-73. Springer, (2016)Model Checking for Nominal Calculi., , и . FoSSaCS, том 3441 из Lecture Notes in Computer Science, стр. 1-24. Springer, (2005)A Formal Basis for Reasoning on Programmable QoS., , , , и . Verification: Theory and Practice, том 2772 из Lecture Notes in Computer Science, стр. 436-479. Springer, (2003)A debugging calculus for mobile ambients., и . SAC, ACM, (2001)Fair Join Pattern Matching for Actors (Artifact)., , , , и . Dagstuhl Artifacts Ser., 10 (2): 8:1-8:3 (2024)