Publication | Open Access
Compositional semantics for real-time distributed computing
64
Citations
14
References
1988
Year
Real-time Distributed ComputingEngineeringAutomated ReasoningFormal MethodsReal-time ComputingParallel ProgrammingComputer ScienceReal-time SystemsDistributed Data ProcessingParallel ComputingFormal VerificationDistributed Processing
| Year | Citations | |
|---|---|---|
Page 1
Page 1