Modularity in the design of robust distributed algorithms
作者： Giuliano Losa
关键词:
摘要: Keywords: Distributed Computing ; Adaptive Systems Modularity Speculation Fault-Tolerance These Ecole polytechnique federale de Lausanne EPFL, n° 6085 (2014)Programme doctoral Informatique, Communications et InformationFaculte informatique communicationsInstitut d'informatique fondamentaleLaboratoire programmation distribueeJury: Prof. J. Sifakis (president); R. Guerraoui, V. Kuncak (directeurs); Dr S. Merz, T. Nipkow, A. Schiper (rapporteurs) Public defense: 2014-2-21 Reference doi:10.5075/epfl-thesis-6085Print copy in library catalog Record created on 2014-02-18, modified 2017-05-12
losa.fr 参考文章(81)
Fausto Giunchiglia, Alessandro Cimatti, Marco Roveri, Edmund M. Clarke, Roberto Sebastiani, Marco Pistore, Armando Tacchella, Enrico Giunchiglia, Nusmv version 2: an opensource tool for symbolic model checking computer aided verification. ,(2002)
Stephan Merz, The Specification Language TLA Springer Berlin Heidelberg. pp. 401- 451 ,(2008) , 10.1007/978-3-540-74107-7_8
Leslie Lamport, Byzantizing Paxos by Refinement Lecture Notes in Computer Science. pp. 211- 224 ,(2011) , 10.1007/978-3-642-24100-0_22
C. A. Petri, Fundamentals of a Theory of Asynchronous Information Flow. ifip congress. pp. 386- 390 ,(1962)
Olaf Müller, I/O Automata and Beyond: Temporal Logic and Abstraction in Isabelle theorem proving in higher order logics. pp. 331- 348 ,(1998) , 10.1007/BFB0055145
Stuart F. Allen, Robert L. Constable, Rich Eaton, Christoph Kreitz, Lori Lorigo, The Nuprl Open Logical Environment conference on automated deduction. pp. 170- 176 ,(2000) , 10.1007/10721959_12
Robin Milner, Bigraphical Reactive Systems international conference on concurrency theory. pp. 16- 35 ,(2001) , 10.1007/3-540-44685-0_2
A. Mazurkiewicz, Semantics of concurrent systems: a modular fixed-point trace approach applications and theory of petri nets. pp. 353- 375 ,(1985) , 10.1007/3-540-15204-0_20
Victor Luchangco, Mark Moir, Nir Shavit, On the Uncontended Complexity of Consensus Lecture Notes in Computer Science. pp. 45- 59 ,(2003) , 10.1007/978-3-540-39989-6_4
Olaf Müller, Tobias Nipkow, Combining Model Checking and Deduction for I/O-Automata tools and algorithms for construction and analysis of systems. pp. 1- 16 ,(1995) , 10.1007/3-540-60630-0_1