( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reconfigurable and Software-Defined Networks of Connectors and Components.

, , и . The ASCENS Approach, том 8998 из Lecture Notes in Computer Science, Springer, (2015)

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.

Jagoda Bruni

Nicole Bruni

Bruni Ackermann

Guglielmo Bruni

Camillo Bruni

 

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

Unifying Inference for Bayesian and Petri Nets., , и . CoRR, (2018)Deriving Weak Bisimulation Congruences from Reduction Systems., , , и . CONCUR, том 3653 из Lecture Notes in Computer Science, стр. 293-307. Springer, (2005)A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions., , , и . WADT, том 7137 из Lecture Notes in Computer Science, стр. 42-60. Springer, (2010)Zero-safe nets: The individual token approach., и . WADT, том 1376 из Lecture Notes in Computer Science, стр. 122-140. Springer, (1997)Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets., , и . Lectures on Concurrency and Petri Nets, том 3098 из Lecture Notes in Computer Science, стр. 291-327. Springer, (2003)Transactions and Zero-Safe Nets., и . Unifying Petri Nets, том 2128 из Lecture Notes in Computer Science, стр. 380-426. Springer, (2001)Connector algebras for C/E and P/T nets' interactions., , , и . Logical Methods in Computer Science, (2013)A Flat Process Calculus for Nested Membrane Interactions., , , и . Sci. Ann. Comput. Sci., 24 (1): 91-136 (2014)Graph-Based Design and Analysis of Dynamic Software Architectures, , , , и . (2008)A logical and graphical framework for reaction systems., , и . Theor. Comput. Sci., (2021)