May 09, 2024  
2022-2023 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  About the Catalog
  About the University
  Academic Calendar
  All-University Regulations
  Academic Policies and Procedures
  Graduate School Handbook
  Disclosures
  Tuition and Fees
  Glossary and Abbreviations
  Courses
  Colleges & Departments
  Degrees & Certificates Offered
  Online Programs
  K-State Research and Extension
  Research Facilities and Centers
  Graduate School Admission
  International Programs
  Services for Students
  Student Financial Assistance
  Support Services
  Archived Catalogs
  KSIS
  Auxiliary Services and Facilities
  K-State Athletics
  K-State Libraries
  K-State Online
  WebMail
  My Portfolio
HELP
2022-2023 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CIS 820 - Topics in Theory of Asynchronous Systems

Credits: 3

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.

Requisites:
Prerequisite: CIS 720.


KSIS Course Search



Add to Portfolio (opens a new window)