Publication | Closed Access
Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract)
58
Citations
3
References
1989
Year
Equivalence NotionsEngineeringAutomated ReasoningConcurrent ProgrammingConcurrency TheoryFormal MethodsConcurrent SystemsComputer ScienceExtended AbstractEquivalence CheckingConcurrent SystemAction LanguageFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1