Publication | Closed Access

Transition systems, metric spaces and ready sets in the semantics of uniform concurrency

Transition SystemsEngineeringAutomated ReasoningVerificationConcurrent ProgrammingFormal MethodsConcurrency TheoryConcurrency (Computer Science)Computer ScienceReady SetsConcurrent Data StructureConcurrent SystemUniform ConcurrencyFormal Verification