Pages that link to "Item:Q1284702"
From MaRDI portal
The following pages link to A transformation system for concurrent processes (Q1284702):
Displaying 8 items.
- Normalform-Transformationen für CSP-Programme. (Normal form transformations for CSP-programs) (Q1104075) (← links)
- On transformations of concurrent-object programs (Q1276245) (← links)
- A structural transformation from p-\(\pi\) to MSVL (Q2354315) (← links)
- (Q4038659) (← links)
- (Q4417795) (← links)
- Abstracting Models from Execution Traces for Performing Formal Verification (Q5305770) (← links)
- Computing in unpredictable environments: Semantics, reduction strategies, and program transformations (Q5878908) (← links)
- On transformations of concurrent object programs (Q6104370) (← links)