Publication | Closed Access

Using branching time temporal logic to synthesize synchronization skeletons

EngineeringSynchronization ProtocolFormal MethodsComputer ArchitectureSystems EngineeringComputer ScienceTemporal LogicParallel ComputingTimed SystemFormal VerificationSynchronization Skeletons