PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Tuosto, Emilio"

Author of the publication

copydeleteadd this publication to your clipboard
Foundations of Session Types and Behavioural Contracts.

, , , , , , , , , , , and . ACM Comput. Surv., 49 (1): 3:1-3:36 (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. You can also use the button next to the name to display some publications already assigned to the person.

Christoph Emilio Corcione University of Stuttgart

 

Other publications of authors with the same name

SHReQ: Coordinating Application Level QoS., and . SEFM, page 425-434. IEEE Computer Society, (2005)Security and Dynamic Compositions of Open Systems., , , and . PDPTA, page 1372-1377. CSREA Press, (2002)An Abstract Semantics of the Global View of Choreographies., and . ICE, volume 223 of EPTCS, page 67-82. (2016)Foundations of Session Types and Behavioural Contracts., , , , , , , , , and 2 other author(s). ACM Comput. Surv., 49 (1): 3:1-3:36 (2016)History Dependent Automata for Service Compatibility., , , and . Concurrency, Graphs and Models, volume 5065 of Lecture Notes in Computer Science, page 625-641. Springer, (2008)Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods., , , and . Programming Languages with Applications to Biology and Security, volume 9465 of Lecture Notes in Computer Science, page 142-161. Springer, (2015)From Communicating Machines to Graphical Choreographies., , and . POPL, page 221-232. ACM, (2015)Tarzan: Communicating and Moving in Wireless Jungles.. Electron. Notes Theor. Comput. Sci., (2005)A Coordination-based Methodology for Security Protocol Verification., , , and . Electron. Notes Theor. Comput. Sci., (2005)Security Issues in Component-based Design., , , and . Electron. Notes Theor. Comput. Sci., (2001)