Author of the publication

Behaviour, Interaction and Dynamics.

, , and . Specification, Algebra, and Software, volume 8373 of Lecture Notes in Computer Science, page 382-401. Springer, (2014)

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 Comparison of Petri Net Semantics under the Collective Token Philosophy., , , and . ASIAN, volume 1538 of Lecture Notes in Computer Science, page 225-244. Springer, (1998)Graph Representation of Sessions and Pipelines for Structured Service Programming., , and . FACS, volume 6921 of Lecture Notes in Computer Science, page 259-276. Springer, (2010)Transactions and Zero-Safe Nets., and . Unifying Petri Nets, volume 2128 of Lecture Notes in Computer Science, page 380-426. Springer, (2001)Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets., , and . Lectures on Concurrency and Petri Nets, volume 3098 of Lecture Notes in Computer Science, page 291-327. Springer, (2003)A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions., , , and . WADT, volume 7137 of Lecture Notes in Computer Science, page 42-60. Springer, (2010)Zero-safe nets: The individual token approach., and . WADT, volume 1376 of Lecture Notes in Computer Science, page 122-140. Springer, (1997)Summary 3: On Graph(ic) Encodings., and . Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, volume 04241 of Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2004)Limits and difficulties in the design of under-approximation abstract domains., , and . FoSSaCS, volume 13242 of Lecture Notes in Computer Science, page 21-39. Springer, (2022)Deriving Weak Bisimulation Congruences from Reduction Systems., , , and . CONCUR, volume 3653 of Lecture Notes in Computer Science, page 293-307. Springer, (2005)Graph-Based Design and Analysis of Dynamic Software Architectures, , , , and . (2008)