Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Semantic Independence., and . Sci. Comput. Program., 13 (1): 23-50 (1989)Comments on "Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs"., and . IEEE Trans. Computers, 34 (1): 97-98 (1985)A decomposition theorem for finite persistent transition systems., and . Acta Inf., 46 (3): 237-254 (2009)Recursion and Petri nets., , and . Acta Inf., 37 (11-12): 781-829 (2001)A Categorical View of Timed Behaviours., , and . Fundam. Inform., 102 (1): 129-143 (2010)Preface., , and . Fundam. Inform., 161 (4): i-ii (2018)A Unified Model for Nets and Process Algebras., , and . Handbook of Process Algebra, North-Holland / Elsevier, (2001)On the Decidability of Non Interference over Unbounded Petri Nets, , and . SecCo, volume 51 of EPTCS, page 16-33. (2010)B(PN)2 - a Basic Petri Net Programming Notation., and . PARLE, volume 694 of Lecture Notes in Computer Science, page 379-390. Springer, (1993)Weak and Strong Composition of High-Level Petri-Nets., and . CONCUR, volume 1664 of Lecture Notes in Computer Science, page 194-209. Springer, (1999)