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.

 

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

Operational semantics for Petri net components., и . Theor. Comput. Sci., 379 (1-2): 1-19 (2007)Soundness of workflow nets: classification, decidability, and analysis., , , , , , и . Formal Aspects Comput., 23 (3): 333-363 (2011)Verifying Generalized Soundness of Workflow Nets., , , и . Ershov Memorial Conference, том 4378 из Lecture Notes in Computer Science, стр. 235-247. Springer, (2006)History-Based Joins: Semantics, Soundness and Implementation., , , , и . Business Process Management, том 4102 из Lecture Notes in Computer Science, стр. 225-240. Springer, (2006)Executable Specifications for Distributed Information Systems., , и . ISCO, стр. 157-176. North-Holland, (1989)A Formal Framework for Dynamic modelling of Information Systems., , и . DMIS, стр. 227-236. Elsevier/North Holland, (1990)Compositional Modeling and Verification of Workflow Processes.. Business Process Management, том 1806 из Lecture Notes in Computer Science, стр. 184-200. Springer, (2000)LogLogics: A logic for history-dependent business processes., , , , и . Sci. Comput. Program., 65 (1): 30-40 (2007)Soundness of Resource-Constrained Workflow Nets., , , и . ICATPN, том 3536 из Lecture Notes in Computer Science, стр. 250-267. Springer, (2005)Consistency in Model Integration., , , и . Business Process Management, том 3080 из Lecture Notes in Computer Science, стр. 1-16. Springer, (2004)