( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Data flow analysis of distributed communicating processes.

, и . Int. J. Parallel Program., 19 (1): 1-30 (1990)

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.

Martina Christine Scotti

Pierre-François Scotto

Peter Scott

Brigitte Smolka

Ernst Smolka

 

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

On the Analysis of Cooperation and Antagonism in Networks of Communicating Processes., и . PODC, стр. 23-38. ACM, (1985)A Simplex Architecture for Hybrid Systems Using Barrier Certificates., , , , и . SAFECOMP, том 10488 из Lecture Notes in Computer Science, стр. 117-131. Springer, (2017)A Process-Algebraic Language for Probabilistic I/O Automata., , и . CONCUR, том 2761 из Lecture Notes in Computer Science, стр. 189-203. Springer, (2003)Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes., и . CONCUR, том 458 из Lecture Notes in Computer Science, стр. 367-383. Springer, (1990)Local Model Checking for Real-Time Systems (Extended Abstract)., и . CAV, том 939 из Lecture Notes in Computer Science, стр. 211-224. Springer, (1995)The Concurrency Factory: A Development Environment for Concurrent Systems., , , и . CAV, том 1102 из Lecture Notes in Computer Science, стр. 398-401. Springer, (1996)V-Formation via Model Predictive Control., , , , , и . CoRR, (2020)Data flow analysis of distributed communicating processes., и . Int. J. Parallel Program., 19 (1): 1-30 (1990)Report on the 6th international symposium on programming.. ACM SIGPLAN Notices, 19 (8): 104-105 (1984)Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems., , , , , , и . IEEE Access, (2020)