The following pages link to Marisa Llorens (Q418181):
Displaying 9 items.
- Static slicing of explicitly synchronized languages (Q418185) (← links)
- (Q1633347) (redirect page) (← links)
- Tracking CSP computations (Q1633350) (← links)
- Graph Generation to Statically Represent CSP Processes (Q3003484) (← links)
- A Tracking Semantics for CSP (Q3575275) (← links)
- The MEB and CEB Static Analysis for CSP Specifications (Q3617433) (← links)
- Dynamic Slicing Techniques for Petri Nets (Q4982092) (← links)
- Automated Technology for Verification and Analysis (Q5394198) (← links)
- Maximal and Minimal Dynamic Petri Net Slicing (Q6094513) (← links)
