( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Formal Support to Business and Architectural Design for Service-Oriented Systems.

, , , , и . Results of the SENSORIA Project, том 6582 из Lecture Notes in Computer Science, Springer, (2011)

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

 

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

Towards refinable choreographies., , и . J. Log. Algebraic Methods Program., (2022)Honesty by Typing, , , и . Log. Methods Comput. Sci., (2016)Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types., , и . Theor. Comput. Sci., 331 (2-3): 325-365 (2005)An Observational Model for Spatial Logics., и . VODCA@FOSAD, том 142 из Electronic Notes in Theoretical Computer Science, стр. 229-254. Elsevier, (2004)On Formal Choreographic Modelling: A Case Study in EU Business Processes., , , , и . ISoLA (1), том 13701 из Lecture Notes in Computer Science, стр. 205-219. Springer, (2022)Multiparty Sessions in SOC., , , и . COORDINATION, том 5052 из Lecture Notes in Computer Science, стр. 67-82. Springer, (2008)A Java Inspired Semantics for Transactions in SOC., и . TGC, том 6084 из Lecture Notes in Computer Science, стр. 120-134. Springer, (2010)Design-by-Contract for Flexible Multiparty Session Protocols (Artifact)., , , , и . Dagstuhl Artifacts Ser., 8 (2): 21:1-21:5 (2022)BPMN Modelling of Services with Dynamically Reconfigurable Transactions., , , и . ICSOC, том 6470 из Lecture Notes in Computer Science, стр. 396-410. (2010)On Learning Nominal Automata with Binders., и . ICE, том 304 из EPTCS, стр. 137-155. (2019)