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

A compositional Petri net translation of general pi -calculus terms., , and . Formal Asp. Comput., 20 (4-5): 429-450 (2008)Representations of Discrete Interval Orders and Semi-Orders., and . Elektronische Informationsverarbeitung und Kybernetik, 30 (3): 161-168 (1994)Merged processes: a new condensed representation of Petri net behaviour., , , and . Acta Inf., 43 (5): 307-330 (2006)Modelling and verification of an atomic action protocol implemented in Ada., , , , , , and . Comput. Syst. Sci. Eng., 16 (3): 173-182 (2001)On Some Implementation of Optimal Simulations., and . CAV (DIMACS/AMS volume), volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 231-274. DIMACS/AMS, (1990)Context-based Process Algebras for Mobility., , and . ACSD, page 79-88. IEEE Computer Society, (2004)Reversible computation vs. reversibility in Petri nets., , , and . Sci. Comput. Program., (2018)Causality in Structured Occurrence Nets., and . Dependable and Historic Computing, volume 6875 of Lecture Notes in Computer Science, page 283-297. Springer, (2011)Fundamentals of Modelling Concurrency Using Discrete Relational Structures., and . Acta Inf., 34 (5): 367-388 (1997)Step semantics of boolean nets., , , and . Acta Inf., 50 (1): 15-39 (2013)