Publication | Closed Access
Infinite streams and finite observations in the semantics of uniform concurrency
16
Citations
17
References
1987
Year
Infinite StreamsEngineeringAutomated ReasoningConcurrent ProgrammingFinite ObservationsFormal MethodsConcurrency TheoryConcurrency (Computer Science)Parallel ProgrammingComputer ScienceConcurrent Data StructureConcurrent SystemUniform ConcurrencyFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1