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.

 

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

Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components.. Appl. Categorical Struct., 16 (3): 333-364 (2008)Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems.. Appl. Categorical Struct., 7 (4): 371-403 (1999)A Uniform Approach to Petri Nets., и . Foundations of Computer Science: Potential - Theory - Cognition, том 1337 из Lecture Notes in Computer Science, стр. 219-231. Springer, (1997)Reconfigurable Open Algebraic High-Level Systems., и . ECEASST, (2008)Workshop on Petri Nets and Graph Transformations., , , и . ICGT, том 4178 из Lecture Notes in Computer Science, стр. 467-469. Springer, (2006)Integration and Collaboration Based on Graphical Techniques (Editorial)., , и . Transactions of the SDPS, 5 (1): 1-2 (2001)Subtyping for Hierarchical, Reconfigurable Petri Nets.. CoRR, (2018)From Basic Views and Aspects to Integration of Specification Formalisms., , и . Current Trends in Theoretical Computer Science, World Scientific, (2001)Towards Component Verification in the Generic Component Framework., , и . FESCA@ETAPS, том 203 из Electronic Notes in Theoretical Computer Science, стр. 37-53. Elsevier, (2007)Component-Based System Development., и . Transactions of the SDPS, 6 (4): 1 (2002)