scientific article

zbMath0986.68074MaRDI QIDQ2766577

Philippe Schnoebelen, Natalia Sidorova

Publication date: 17 June 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

Resource Bisimilarity in Petri Nets is Decidable ⋮ On the Approximation of the Resource Equivalences in Petri Nets with the Invisible Transitions ⋮ Property-preserving transformations of elementary net systems based on morphisms ⋮ Unification and combination of a class of traversal strategies made with pattern matching and fixed-points ⋮ Verifying chemical reaction network implementations: a pathway decomposition approach ⋮ Modular Modelling of Software Product Lines with Feature Nets

This page was built for publication: