Science of Computer Programming · 2008 · 45 citations · 42 references
ComputingComputer EngineeringComputer ScienceComputer ArchitectureFault-tolerant ComputingFault-tolerant SystemsComponent-based Software EngineeringDistributed Systems ArchitectureFault-tolerant CommunicationHardware Fault ToleranceReliable System DesignSoftware ArchitectureComponent ArchitectureComponent-based ArchitecturesFault Tolerant ArchitecturesFault-tolerant ArchitectureFault-tolerant Networks
42
E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations
Introduction to automata theory, languages, and computation
Computer Languages · 1980 · 6.9K citations
The temporal logic of programs
Amir Pnueli · 1977 · 5.7K citations
Wojciech Penczek · Science of Computer Programming · 1990 · 4K citations