Back to Results
First PageMeta Content
Proof 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 Engineering
Add to Reading List

Document Date: 2013-10-21 10:18:08

Open Document

File Size: 466,38 KB

Share Result on Facebook

Facility

Iowa State University / Software Engineering Iowa State University / /

IndustryTerm

concurrent and distributed systems / synchronizable systems / asynchronous systems / /

Organization

Department of Computer Science / Department of Electrical & Computer Engineering / Iowa State University / /

Person

Samik Basu / /

Position

Associate Professor / Director / Associate Professor and Director of the Software Engineering Program / /

URL

http /

SocialTag