Publication | Closed Access
Refinement of actions and equivalence notions for concurrent systems
244
Citations
45
References
2001
Year
EngineeringAutomated ReasoningConcurrent ProgrammingConcurrency TheoryFormal MethodsConcurrent SystemsConcurrent SystemFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1