( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Bisimulation and cocongruence for probabilistic systems.

, , , и . Inf. Comput., 204 (4): 503-523 (2006)

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.

Nicos Danos

Peter Danos

Michael Danos

Peter Danos

Peter Danos

 

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

Modeling and querying biomolecular interaction networks., , , , и . Theor. Comput. Sci., 325 (1): 25-44 (2004)Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization., , , , , , , , , и . Bioinform., 32 (6): 908-917 (2016)Thermodynamic graph-rewriting., , и . Log. Methods Comput. Sci., (2015)Local and asynchronous beta-reduction (an analysis of Girard's execution formula), и . LICS, стр. 296-306. IEEE Computer Society, (1993)Une logique à grain fain: la logique linéaire.. JFPLC, стр. 311-. (1994)Approximating Markov Processes by Averaging., , , и . ICALP (2), том 5556 из Lecture Notes in Computer Science, стр. 127-138. Springer, (2009)Compiling Combinatorial Genetic Circuits with Semantic Inference., , , , и . CoRR, (2018)Preface., и . DCM@ICALP, том 192 из Electronic Notes in Theoretical Computer Science, стр. 1-2. Elsevier, (2007)Core Formal Molecular Biology., и . ESOP, том 2618 из Lecture Notes in Computer Science, стр. 302-318. Springer, (2003)Commitment Against Front Running Attacks., и . CoRR, (2023)