![Proof theory / John Vincent Atanasoff / Decidability / Realizability / FIFO / Distributed computing / Message passing / Concurrent computing / Inter-process communication / Computing Proof theory / John Vincent Atanasoff / Decidability / Realizability / FIFO / Distributed computing / Message passing / Concurrent computing / Inter-process communication / Computing](https://www.pdfsearch.io/img/7a5d23f62ff27001ee754504dc89bb0b.jpg) Date: 2013-10-21 10:18:08Proof theory John Vincent Atanasoff Decidability Realizability FIFO Distributed computing Message passing Concurrent computing Inter-process communication Computing | | [removed]Computer Science Colloquia Some Decidability Results for Asynchronous System Verification Samik Basu Associate Professor, Director of Software EngineeringAdd to Reading ListSource URL: www.cs.iastate.eduDownload Document from Source Website File Size: 466,38 KBShare Document on Facebook
|