Publication | Closed Access
Models and logics for true concurrency
18
Citations
24
References
1992
Year
EngineeringAutomated ReasoningVerificationConcurrency TheoryFormal MethodsParallel ProgrammingComputer ScienceTrue ConcurrencyConcurrency ControlConcurrent SystemFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1