( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Process Calculus of Atomic Commit.

, и . WSFM, том 105 из Electronic Notes in Theoretical Computer Science, стр. 119-132. Elsevier, (2004)

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.

Andrea Bocchi

Mario Laura

Marco Laurati

Michele Bocchi

Matteo Bocchi

 

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

Structure and Behaviour of Virtual Organisation Breeding Environments, , , и . FAVO, том 16 из EPTCS, стр. 26-40. (2009)On Resolving Non-determinism in Choreographies., , и . CoRR, (2019)A Perspective on Multiagent Coordination Models., и . Communication in Multiagent Systems, том 2650 из Lecture Notes in Computer Science, стр. 146-163. Springer, (2003)Monitoring networks through multiparty session types., , , , и . Theor. Comput. Sci., (2017)revTPL: The Reversible Temporal Process Language., , , и . CoRR, (2022)Resolving Non-determinism in Choreographies., , и . ESOP, том 8410 из Lecture Notes in Computer Science, стр. 493-512. Springer, (2014)From Architectural to Behavioural Specification of Services., , , , и . FESCA@ETAPS, том 253 из Electronic Notes in Theoretical Computer Science, стр. 3-21. Elsevier, (2009)Engineering Service Oriented Applications: From StPowla Processes to SRML Models., , и . FASE, том 4961 из Lecture Notes in Computer Science, стр. 163-178. Springer, (2008)Monitoring Networks through Multiparty Session Types., , , , и . FMOODS/FORTE, том 7892 из Lecture Notes in Computer Science, стр. 50-65. Springer, (2013)Attribute-based transactions in service oriented computing., и . Math. Struct. Comput. Sci., 25 (3): 619-665 (2015)