Amir Pnueli, Pioneer of Temporal Logic, Dies at 68 By KENNETH CHANG<http://topics.nytimes.com/top/reference/timestopics/people/c/kenneth_chang/index.html?inline=nyt-per> Published: November 14, 2009 Amir Pnueli, who turned a philosopher’s explorations of time, logic and free will into a critical technique for verifying the reliability of computers, died on Nov. 2 in Manhattan. He was 68. (*leia mais<http://www.nytimes.com/2009/11/15/us/15pnueli.html?_r=1&ref=technology> *)
_______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l