Dec 08, 2025  
2011-2012 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  Colleges and Departments
  Courses
  Degrees & Certificates Offered
  About the Catalog
  About the University
  All-University Regulations
  Auxiliary Services and Facilities
  Calendar
  Degrees & Certificates Offered
  Enrollment
  Glossary and Abbreviations
  Grades
  Graduate School Admission
  International Programs
  K-State Athletics
  K-State Research and Extension
  Outreach
  Research Facilities and Centers
  Services for Students
  Student Financial Assistance
  Support Services
  Tuition and Fees
  University Faculty
  iSIS
  K-State Libraries
  K-State Online
  WebMail
  My Portfolio
HELP
2011-2012 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CIS 820 - Topics in Theory of Asynchronous Systems

Safety and liveness properties, synchronous and asynchronous message passing systems, virtual circuit and datagram communication, process failure, concepts of composition and superimposition, temporal logic, reachability analysis, theory of concurrency control, atomic commitment, replica control.

Credits: (3)

Requisites:
Pr.: CIS 720.


Add to Portfolio (opens a new window)