Publication | Closed Access
Encoding a process algebra using the Event B method
20
Citations
10
References
2009
Year
Event ProcessingEvent B MethodEngineeringAutomated ReasoningComplex Event ProcessingFormal MethodsProcess ControlSystems EngineeringProbability TheoryComputer ScienceProcess Calculus
| Year | Citations | |
|---|---|---|
Page 1
Page 1