GEN 705

Concurrent Programming

Indiana Wesleyan University · UGRD · Fall 2026

1 section

Catalog description

Topics in the theory of concurrent programming. Models of concurrency. Programming logics. Emphasis on the formal specification and verification of concurrent programs. Prerequisite: CIS-221.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 3 hours ago

001

Availability not recently verified

Class #indiana_wesleyan_national_and_gl-0705Fall 2026UGRD3 credits

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?