A proof rule for fair termination of guarded commands - Concepedia

Concepedia

Publication | Closed Access

A proof rule for fair termination of guarded commands

78

Citations

12

References

1985

Year

Orna Grümberg, Nissim Francez, Johann A. Makowsky, Willem P. de Roever

Information and Control

EngineeringAutomated ReasoningFair TerminationProof ComplexityVerificationFormal MethodsAutomated ProofComputer ScienceProof SystemFormal VerificationData SecurityCryptography

References

	Year	Citations

Page 1