Parallelism and Concurrency Theorems for Rules with Nested Application Conditions

Hartmut Ehrig, Annegret Habel, Leen Lambers. Parallelism and Concurrency Theorems for Rules with Nested Application Conditions. ECEASST, 26, 2010. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: