Publication | Closed Access
A proof technique for communicating sequential processes
147
Citations
12
References
1981
Year
EngineeringAutomated ReasoningVerificationConcurrency TheoryFormal MethodsProof TechniqueFormal TechniqueComputer ScienceFormal VerificationProcess Calculus
| Year | Citations | |
|---|---|---|
Page 1
Page 1