Compositional semantics for real-time distributed computing - Concepedia

Concepedia

Publication | Open Access

Compositional semantics for real-time distributed computing

DOI Full Paper Access

64

Citations

14

References

1988

Year

Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar

Information and Computation

Real-time Distributed ComputingEngineeringAutomated ReasoningFormal MethodsReal-time ComputingParallel ProgrammingComputer ScienceReal-time SystemsDistributed Data ProcessingParallel ComputingFormal VerificationDistributed Processing

References

	Year	Citations

Page 1

Page 1