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.

 

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

Dynamic Programming on Nominal Graphs., , и . GaM, том 181 из EPTCS, стр. 80-96. (2015)Concurrency and Probability: Removing Confusion, Compositionally., , и . CoRR, (2017)Labeled Event Structures: A Model for Observable Concurrency., , и . Formal Description of Programming Concepts, стр. 383-400. North-Holland, (1982)D-Fusion: A Distinctive Fusion Calculus., , и . APLAS, том 3302 из Lecture Notes in Computer Science, стр. 296-310. Springer, (2004)Contextual Nets., и . Acta Informatica, 32 (6): 545-596 (1995)A basic algebra of stateless connectors., , и . Theor. Comput. Sci., 366 (1-2): 98-120 (2006)Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types., , и . Theor. Comput. Sci., 331 (2-3): 325-365 (2005)On the Implementation of Concurrent Calculi in Net Calculi: Two Case Studies., и . Theor. Comput. Sci., 141 (1&2): 195-252 (1995)Reactive systems, (semi-)saturated semantics and coalgebras on presheaves., и . Theor. Comput. Sci., 410 (41): 4044-4066 (2009)Graph rewriting with unification and composition., , и . Graph-Grammars and Their Application to Computer Science, том 291 из Lecture Notes in Computer Science, стр. 496-514. Springer, (1986)