Publication | Closed Access
Using branching time temporal logic to synthesize synchronization skeletons
660
Citations
14
References
1982
Year
EngineeringSynchronization ProtocolFormal MethodsComputer ArchitectureSystems EngineeringComputer ScienceTemporal LogicParallel ComputingTimed SystemFormal VerificationSynchronization Skeletons
| Year | Citations | |
|---|---|---|
Page 1
Page 1