Publication | Closed Access
Dynamic consistency in process algebra: From Paradigm to ACP
13
Citations
17
References
2010
Year
EngineeringAutomated ReasoningConcurrency TheoryProcess ControlDynamic ConsistencyFormal MethodsProcess SpecificationFormal VerificationProcess Calculus
| Year | Citations | |
|---|---|---|
Page 1
Page 1