Publication | Closed Access

Infinite streams and finite observations in the semantics of uniform concurrency

Infinite StreamsEngineeringAutomated ReasoningConcurrent ProgrammingFinite ObservationsFormal MethodsConcurrency TheoryConcurrency (Computer Science)Parallel ProgrammingComputer ScienceConcurrent Data StructureConcurrent SystemUniform ConcurrencyFormal Verification