( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A formal approach to autonomic systems programming: the SCEL language.

. ICTCS, том 1231 из CEUR Workshop Proceedings, стр. 1. CEUR-WS.org, (2014)

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.

Nicola De Cono

Anton Rocco

Rocco Hüneke

Rocco Pöhlandt

Goranka Rocco

 

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

Verification of Distributed Systems via Sequential Emulation., , и . ACM Trans. Softw. Eng. Methodol., 31 (3): 37:1-37:41 (2022)Defining and guaranteeing dynamic service levels in clouds., , , и . Future Gener. Comput. Syst., (2019)An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems., , , и . CAV, том 575 из Lecture Notes in Computer Science, стр. 37-47. Springer, (1991)CCS is an (Augmented) Contact Free C/E System., , и . Mathematical Models for the Semantics of Parallelism, том 280 из Lecture Notes in Computer Science, стр. 144-165. Springer, (1986)A Completeness Theorem fro Nondeterministic Kleene Algebras., и . MFCS, том 841 из Lecture Notes in Computer Science, стр. 536-545. Springer, (1994)Observation Trees., , и . NAPAW, стр. 103-118. Springer, (1992)Swinging in the States: Does disinformation on Twitter mirror the US presidential election system?, , , и . WWW (Companion Volume), стр. 1395-1403. ACM, (2023)A formal approach to autonomic systems programming: the SCEL language.. ICTCS, том 1231 из CEUR Workshop Proceedings, стр. 1. CEUR-WS.org, (2014)Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes., , и . TGC, том 6084 из Lecture Notes in Computer Science, стр. 35-56. Springer, (2010)Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants., , , и . CMSB, том 14137 из Lecture Notes in Computer Science, стр. 44-61. Springer, (2023)