( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On a Uniform Framework for the Definition of Stochastic Process Languages.

, , , и . FMICS, том 5825 из Lecture Notes in Computer Science, стр. 9-25. Springer, (2009)

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 Pöhlandt

Goranka Rocco

Rocco Hüneke

 

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

A formal approach to autonomic systems programming: the SCEL language.. ICTCS, том 1231 из CEUR Workshop Proceedings, стр. 1. CEUR-WS.org, (2014)Defining and guaranteeing dynamic service levels in clouds., , , и . Future Gener. Comput. Syst., (2019)Verification of Distributed Systems via Sequential Emulation., , и . ACM Trans. Softw. Eng. Methodol., 31 (3): 37:1-37:41 (2022)Swinging in the States: Does disinformation on Twitter mirror the US presidential election system?, , , и . WWW (Companion Volume), стр. 1395-1403. ACM, (2023)Online User Behavioural Modeling with Applications to Price Steering., , , и . FINREC, том 1606 из CEUR Workshop Proceedings, стр. 16-21. CEUR-WS.org, (2016)Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes., , и . TGC, том 6084 из Lecture Notes in Computer Science, стр. 35-56. Springer, (2010)Orchestrating Tuple-Based Languages., , и . TGC, том 7173 из Lecture Notes in Computer Science, стр. 160-178. Springer, (2011)Types as Specifications of Access Policies., , и . Secure Internet Programming, том 1603 из Lecture Notes in Computer Science, стр. 118-146. Springer, (1999)Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants., , , и . CMSB, том 14137 из Lecture Notes in Computer Science, стр. 44-61. Springer, (2023)Formalizing Properties of Mobile Agent Systems., , и . COORDINATION, том 2315 из Lecture Notes in Computer Science, стр. 72-87. Springer, (2002)