Publication | Closed Access
Communicating sequential processes
2.2K
Citations
0
References
1986
Year
EngineeringAutomated ReasoningConcurrency TheoryFormal MethodsProcess ControlSystems EngineeringProcess SpecificationComputer ScienceFormal VerificationProcess CalculusSequential Processes
No additional data available for this publication yet. Check back later!