( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Choreographies as Objects.

, , и . CoRR, (2020)

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.

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Monika Marcotty

Massimiliano Marcon

 

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

Communications in Choreographies, Revisited., , и . CoRR, (2017)Structural operational semantics for non-deterministic processes with quantitative aspects., и . CoRR, (2014)Towards a Formal Model for Composable Container Systems., , и . CoRR, (2019)Distributed execution of bigraphical reactive systems., , и . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2014)Linear Logic, the π-calculus, and their Metatheory: A Recipe for Proofs as Processes., и . CoRR, (2021)Structural operational semantics for non-deterministic processes with quantitative aspects., и . Theor. Comput. Sci., (2016)Model-Driven Code Generation for Microservices: Service Models., , , и . Microservices, том 111 из OASIcs, стр. 6:1-6:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Computing (optimal) embeddings of directed bigraphs., , и . Sci. Comput. Program., (2022)No More, No Less - A Formal Model for Serverless Computing., , , , , и . COORDINATION, том 11533 из Lecture Notes in Computer Science, стр. 148-157. Springer, (2019)Choral: Object-oriented Choreographic Programming., , и . ACM Trans. Program. Lang. Syst., 46 (1): 1:1-1:59 (марта 2024)