From post

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.

 

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

Process Communication Environment., и . NAPAW, стр. 27-40. Springer, (1992)Modelling a Solution for a Control Problem in Distributed Systems by Restrictions., , и . Formale Modelle für Informationssysteme, том 21 из Informatik-Fachberichte, стр. 199-201. Springer, (1979)The Calculus of Looping Sequences., , , , и . SFM, том 5016 из Lecture Notes in Computer Science, стр. 387-423. Springer, (2008)Compositional Synthesis of Generalized Mealy Machines., и . Fundam. Informaticae, 60 (1-4): 367-382 (2004)Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models., , и . WIVACE, том 130 из EPTCS, стр. 43-52. (2013)Privacy in Real-Time Systems., , и . MTCS, том 52 из Electronic Notes in Theoretical Computer Science, стр. 295-305. Elsevier, (2001)An Intermediate Language for the Simulation of Biological Systems., , , и . FBTC@CONCUR, том 194 из Electronic Notes in Theoretical Computer Science, стр. 19-34. Elsevier, (2007)Modular Verification of Interactive Systems with an Application to Biology., , и . CS2Bio, том 268 из Electronic Notes in Theoretical Computer Science, стр. 61-75. Elsevier, (2010)Formal Models of Timing Attacks on Web Privacy., , , , , , и . TOSCA, том 62 из Electronic Notes in Theoretical Computer Science, стр. 229-243. Elsevier, (2001)A Truly Concurrent Semantics for Timed Default Concurrent Constraint Programming., и . ECOOP Workshops, том 1743 из Lecture Notes in Computer Science, стр. 256-258. Springer, (1999)