M3 – Roots of Distributed Systems: Computation in Space and Time
corso dei lucidi
usati nelle lezioni
gli stessi lucidi in altre edizioni
M2 – Roots of Distributed Systems: Computation in Space and Time — Sistemi distribuiti (modulo 1) 2025/2026
pubblicazione di riferimento
Towards robust distributed systems (abstract) (articolo in atti, 2000) — Eric A. Brewer Preliminary Discussion of the Logical Design of an Electronic Computing Instrument (capitolo di libro, 1982) — Arthur W. Burks, Herman H. Goldstine, John von Neumann Explorations in Computing: An Introduction to Computer Science (libro, 2010) — John S. Conery Ubiquity Symposium `What is Computation?': Computation is Symbol Manipulation (articolo in rivista, 2010) — John S. Conery Concurrent histories: A basis for observing distributed systems (articolo in rivista, 1987) — Pierpaolo Degano, Ugo Montanari The Computing Field: Structure (capitolo di libro, 2008) — Peter J. Denning Ubiquity Symposium `What is Computation?': Opening Statement (articolo in rivista, 2010) — Peter J. Denning Ubiquity Symposium `What is Computation?': What Have We Said About Computation? (articolo in rivista, 2011) — Peter J. Denning Hundreds of impossibility results for distributed computing (articolo in rivista, 2003) — Faith Fich, Eric Ruppert Ubiquity Symposium `What is Computation?': Computation is Process (articolo in rivista, 2010) — Dennis J. Frailey Ubiquity Symposium `What is Computation?': Is the Symposium Question Harmful?: Consideration of the Question 'What is Computation?' Considered Harmful (articolo in rivista, 2011) — Peter A. Freeman Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services (articolo in rivista, 2002) — Seth Gilbert, Nancy Lynch Interactive Computation: The New Paradigm (curatela, 2006) — Dina Q. Goldin, Scott A. Smolka, Peter Wegner Distributed Computing. Principles, Algorithms, and Systems (libro, 2011) — Ajay D. Kshemkalyani, Mukesh Singhal Distributed Computing: Models and Methods (capitolo di libro, 1990) — Leslie Lamport, Nancy Lynch Computer Science (articolo in rivista, 1967) — Allen Newell, Alan J Perlis, Herbert A Simon An Introduction to Parallel and Vector Scientific Computation (libro, 2006) — Ronald W. Shonkwiler, Lew Lefton Plans and Situated Actions: The Problem of Human-Machine Communication (capitolo di libro, 1987) — Lucy A. Suchman Distributed Systems. Principles and Paradigms (libro, 2017) — Andrew S. Tanenbaum, Maarten van Steen On Computable Numbers, with an Application to the Entscheidungsproblem (articolo in rivista, 1937) — Alan Mathison Turing
Inglese
