01091nam a2200313 i 450099100147760970753620020507194201.0951017s1982 de ||| | eng 3540112057b10852888-39ule_instLE01312851ExLDip.to Matematicaeng001.642AMS 68M15Hailpern, Brent T.537323Verifying concurrent processes using temporal logic /Brent T. HailpernBerlin :Springer-Verlag,1982viii, 208 p. :ill. ;25 cm.Bibliography: p. [203]-208.Includes indexComputer programsParallel processingReliability.b1085288821-09-0628-06-02991001477609707536LE013 68M HAI11 (1982)12013000037646le013-E0.00-l- 00000.i1096447228-06-02Verifying concurrent processes using temporal logic918324UNISALENTOle01301-01-95ma -engde 01