Publication | Closed Access
General parameterised refinement and recursion for the M-net calculus
19
Citations
4
References
2003
Year
EngineeringAutomated ReasoningM-net CalculusFormal MethodsComputational ComplexityLambda CalculusRecursive FunctionComputability Theory
| Year | Citations | |
|---|---|---|
Page 1
Page 1