produces solution output formalisms random access machines universal turing machines used abstract models sequential general purpose computer executing algorithm ref name toomarianneural ref ref name savagemodels ref field concurrent distributed computing studies similar questions case either multiple computers computer executes network interacting processes computational problems solved network efficiently however obvious meant solving problem case concurrent distributed system example
Formal science Computer science Distributed computing